summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/tl-update-docindex22
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.