diff options
| author | Karl Berry <karl@freefriends.org> | 2006-12-10 01:39:21 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-12-10 01:39:21 +0000 |
| commit | 7a7c8d7d382636c8b6a6d1ffc9a395cb1c972252 (patch) | |
| tree | 2fffb2d050febdeae09f46233f5b8c55003dc440 /Build/tools/mkdocindex | |
| parent | 2b43d94cf389b10f6a3dc559a908c160c6a5db89 (diff) | |
rework for Build/tools instead of Master/Tools
git-svn-id: svn://tug.org/texlive/trunk@2669 c570f23f-e606-0410-a88d-b1316a301751
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> |