chiark / gitweb /
Merge from existing archive branch
[pcre3.git] / 132html
diff --git a/132html b/132html
index e1b70cd92f8753f4f63090ff506ec48822b097a5..e00024970a525be1f07b69348b876593c0be3ee7 100755 (executable)
--- a/132html
+++ b/132html
@@ -148,7 +148,7 @@ while (<STDIN>)
         printf("<li><a name=\"TOC%d\" href=\"#SEC%d\">$title</a>\n",
           $ref, $ref);
         printf TEMP ("<br><a name=\"SEC%d\" href=\"#TOC1\">$title</a><br>\n",
-          $ref, $ref);
+          $ref);
         $ref++;
         }
       else