Makefile: build docs only for enabled tools; fix docs dependencies
authorMans Rullgard <mans@mansr.com>
Tue, 1 Feb 2011 02:23:30 +0000 (02:23 +0000)
committerMans Rullgard <mans@mansr.com>
Tue, 1 Feb 2011 12:33:09 +0000 (12:33 +0000)
commit7f939f55bb79f962adc96b6b45e288dbb0069a67
tree2d739c6c95b24ba9724b3a7a5d80fdef020c0f57
parent64233e702a95df9167e3362e58aae4e82ce2ddf8
Makefile: build docs only for enabled tools; fix docs dependencies

This makes "make documentation" build the man/html pages only for
the tools enabled in the build.  It also fixes the dependency
tracking for the built man pages.

Signed-off-by: Mans Rullgard <mans@mansr.com>
Makefile