doc: remove all-components.texi, include its content verbatim
authorStefano Sabatini <stefasab@gmail.com>
Wed, 24 Apr 2013 16:39:49 +0000 (18:39 +0200)
committerStefano Sabatini <stefasab@gmail.com>
Thu, 25 Apr 2013 09:19:53 +0000 (11:19 +0200)
commitf40cf96ec0f4a2e9d9caf85d5c4405e89a69d55b
treecc6976bbacafe8656f7180d30fee46099e19cf21
parent575399c7e11611b4cbf30a61e0e8e92f12893896
doc: remove all-components.texi, include its content verbatim

Force re-generation of the manuals when an included file is modified.
The current dependency generation system is enable to track nested
inclusions.

The drawback is that the files will be generated even when there is no
strict need (for example if filters.texi is modified, ffmpeg.1 is
rebuilt), thus it trades a false negative with a false positive.
doc/all-components.texi [deleted file]
doc/ffmpeg.texi
doc/ffplay.texi
doc/ffprobe.texi
doc/ffserver.texi