[FFmpeg-devel] [PATCH 1/2] Makefile: build docs only for enabled tools; fix docs dependencies

[Ronald S. Bultje]

Hi,

On Mon, Jan 31, 2011 at 9:25 PM, Mans Rullgard <mans at mansr.com> wrote:
> 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.

OK.

Ronald