diff options
| -rwxr-xr-x | configure | 4 | ||||
| -rw-r--r-- | doc/Makefile | 2 | ||||
| -rw-r--r-- | doc/texidep.pl | 32 |
3 files changed, 35 insertions, 3 deletions
@@ -2337,8 +2337,8 @@ ffserver_extralibs='$ldl' # documentation podpages_deps="perl" manpages_deps="perl pod2man" -htmlpages_deps="texi2html" -txtpages_deps="makeinfo" +htmlpages_deps="perl texi2html" +txtpages_deps="perl makeinfo" doc_deps_any="manpages htmlpages podpages txtpages" # default parameters 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 diff --git a/doc/texidep.pl b/doc/texidep.pl new file mode 100644 index 0000000000..099690378e --- /dev/null +++ b/doc/texidep.pl @@ -0,0 +1,32 @@ +#! /usr/bin/env perl + +# This script will print the dependency of a Texinfo file to stdout. +# texidep.pl <src-path> <input.texi> <output.ext> + +use warnings; +use strict; + +die unless @ARGV == 3; + +my ($src_path, $root, $target) = @ARGV; + +sub print_deps { + my ($file, $deps) = @_; + $deps->{$file} = 1; + + open(my $fh, "<", "$file") or die "Cannot open file '$file': $!"; + while (<$fh>) { + if (my ($i) = /^\@(?:verbatim)?include\s+(\S+)/) { + die "Circular dependency found in file $root\n" if exists $deps->{"doc/$1"}; + print "$target: doc/$1\n"; + + # skip looking for config.texi dependencies, since it has + # none, and is not located in the source tree + if ("$1" ne "config.texi") { + print_deps("$src_path/doc/$1", {%$deps}); + } + } + } +} + +print_deps($root, {}); |