diff options
| author | Stefano Sabatini <stefasab@gmail.com> | 2013-04-24 18:39:49 +0200 |
|---|---|---|
| committer | Stefano Sabatini <stefasab@gmail.com> | 2013-04-25 11:19:53 +0200 |
| commit | f40cf96ec0f4a2e9d9caf85d5c4405e89a69d55b (patch) | |
| tree | cc6976bbacafe8656f7180d30fee46099e19cf21 /doc/filters.texi | |
| parent | 575399c7e11611b4cbf30a61e0e8e92f12893896 (diff) | |
| download | ffmpeg-f40cf96ec0f4a2e9d9caf85d5c4405e89a69d55b.tar.gz | |
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.
Diffstat (limited to 'doc/filters.texi')
0 files changed, 0 insertions, 0 deletions