diff options
Diffstat (limited to 'Build/tools/mkdocindex')
| -rwxr-xr-x | Build/tools/mkdocindex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/tools/mkdocindex b/Build/tools/mkdocindex index cc83a522810..4e7630686f4 100755 --- a/Build/tools/mkdocindex +++ b/Build/tools/mkdocindex @@ -11,11 +11,13 @@ sub main umask (0); chomp (my $mydir = `dirname $0`); # Tools - chdir ("$mydir/..") || exit 1; # Master + chdir ("$mydir/../../Master") || exit 1; # Master # shell fragment we use to find doc files in a directory. + $ENV{"_POSIX2_VERSION"} = 0; # POSIX likes to be backward-incompatible $FIND_POST = " \\( -name \\*.html -o -name \\*.pdf \\) " - . " | sort -f -t/ +3 |"; + . " | tee /tmp/doclist" + . " | sort -f -t/ +2 |"; print <<END_HEADER; <html> |