« Previous | Next » 

Revision 850e9c6d

ID850e9c6d48c56f3652dc5073a06b09de54f52d82
Parent 5ad4335c
Child 10ed02eb

Added by Mans Rullgard almost 10 years ago

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 <>
(cherry picked from commit 7f939f55bb79f962adc96b6b45e288dbb0069a67)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences