diff options
| author | Stefano Sabatini <stefasab@gmail.com> | 2013-05-28 23:52:33 +0400 |
|---|---|---|
| committer | Stefano Sabatini <stefasab@gmail.com> | 2013-12-06 13:40:38 +0400 |
| commit | 5b073da7a11f0cdcf173c4da98299ed9743e62a3 (patch) | |
| tree | 1f96f326090db280b0458577857e7a811b5f5892 /doc/Makefile | |
| parent | 5cda499d6607050c70f90315845ceb1cec4266bd (diff) | |
doc: add script to compute texi files dependencies
Replace the inline awk script with a Perl script which tracks the
dependencies recursively.
This allows to correctly track dependencies for files including files
with a second level include (for example: ffmpeg-devices.texi ->
devices.texi -> outdevs.texi).
This also adds a dependency on perl for computing the dependencies, which
should not be a problem since perl is already required all the way for
building documentation.
This is a variant of commit 628ceac6526724d35cb390cc1f88344f4ea22eb4
which was reverted due to out-of-tree build failure.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 1a7c460e29..26bd9f59cb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -61,7 +61,7 @@ documentation: $(DOCS) examples: $(DOC_EXAMPLES) -TEXIDEP = awk '/^@(verbatim)?include/ { printf "$@: $(@D)/%s\n", $$2 }' <$< >$(@:%=%.d) +TEXIDEP = perl $(SRC_PATH)/doc/texidep.pl $(SRC_PATH) $< $@ >$(@:%=%.d) doc/%.txt: TAG = TXT doc/%.txt: doc/%.texi |