From b33021b5723465c8e212d339b8c0fa80dd54d248 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Mon, 11 Nov 1996 20:49:27 +0000 Subject: [PATCH] (fix_libaux.sed): Hackish little sed script to modify lib.aux to get section numbers right for latex2html for section titles which include "\sectcode{__.*__}" in the name. Perhaps less general than it should be, but sufficient. --- Doc/fix_libaux.sed | 3 +++ Doc/tools/fix_libaux.sed | 3 +++ 2 files changed, 6 insertions(+) create mode 100755 Doc/fix_libaux.sed create mode 100755 Doc/tools/fix_libaux.sed diff --git a/Doc/fix_libaux.sed b/Doc/fix_libaux.sed new file mode 100755 index 00000000000..459b7e8d365 --- /dev/null +++ b/Doc/fix_libaux.sed @@ -0,0 +1,3 @@ +#! /usr/bin/sed -f +s/{\\tt \\hackscore {}\\hackscore {}/\\sectcode{__/ +s/\\hackscore {}\\hackscore {}/__/ diff --git a/Doc/tools/fix_libaux.sed b/Doc/tools/fix_libaux.sed new file mode 100755 index 00000000000..459b7e8d365 --- /dev/null +++ b/Doc/tools/fix_libaux.sed @@ -0,0 +1,3 @@ +#! /usr/bin/sed -f +s/{\\tt \\hackscore {}\\hackscore {}/\\sectcode{__/ +s/\\hackscore {}\\hackscore {}/__/