diff options
author | Stefano Sabatini <stefasab@gmail.com> | 2013-05-28 21:52:33 +0200 |
---|---|---|
committer | Stefano Sabatini <stefasab@gmail.com> | 2013-12-06 10:40:38 +0100 |
commit | 5b073da7a11f0cdcf173c4da98299ed9743e62a3 (patch) | |
tree | 1f96f326090db280b0458577857e7a811b5f5892 /doc/texidep.pl | |
parent | 5cda499d6607050c70f90315845ceb1cec4266bd (diff) | |
download | ffmpeg-5b073da7a11f0cdcf173c4da98299ed9743e62a3.tar.gz |
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/texidep.pl')
-rw-r--r-- | doc/texidep.pl | 32 |
1 files changed, 32 insertions, 0 deletions
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, {}); |