« Previous | Next » 

Revision 7f939f55

ID7f939f55bb79f962adc96b6b45e288dbb0069a67
Parent 64233e70
Child f3619680

Added by Mans Rullgard over 9 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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences