diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-docindex')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-docindex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-docindex b/Master/tlpkg/bin/tl-update-docindex index ef0755c43fe..ef3febfa04b 100755 --- a/Master/tlpkg/bin/tl-update-docindex +++ b/Master/tlpkg/bin/tl-update-docindex @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# $Id: //depot/Master/Tools/mkdocindex#2 $ +# $Id$ # Make index file of all HTML and PDF documentation. # Originally written 2004, Karl Berry. Public domain. |