summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Doc/.latex2html-init13
1 files changed, 12 insertions, 1 deletions
diff --git a/Doc/.latex2html-init b/Doc/.latex2html-init
index 9696293..876d728 100644
--- a/Doc/.latex2html-init
+++ b/Doc/.latex2html-init
@@ -1,4 +1,4 @@
-#LaTeX2HTML Version 96.1 : dot.latex2html-init
+#LaTeX2HTML Version 96.1 : dot.latex2html-init -*- perl -*-
#
$INFO = 1; # 0 = do not make a "About this document..." section
@@ -196,4 +196,15 @@ sub add_idx {
}
+# need to remove leading <...>
+sub clean_key {
+ local ($_) = @_;
+ tr/A-Z/a-z/;
+ s/\s//;
+ s/\#\#\#\d+$//o; # Remove the unique id
+ s/^<[a-z][-._a-z0-9]*>//; # Remove leading <gi>
+ $_
+}
+
+
1; # This must be the last line