diff options
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-docindex2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-docindex2 b/Master/tlpkg/bin/tl-update-docindex2 index db1eaa1499a..724e47e2cf0 100755 --- a/Master/tlpkg/bin/tl-update-docindex2 +++ b/Master/tlpkg/bin/tl-update-docindex2 @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# $Id $ +# $Id$ # Make index file of all HTML and PDF documentation (printed on stdout). # Originally written 2009, Manuel Pégourié-Gonnard. WTFPL v2. |