(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.

diff --git a/Doc/fix_libaux.sed b/Doc/fix_libaux.sed
new file mode 100755 (executable)
index 0000000..459b7e8
--- /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 (executable)
index 0000000..459b7e8
--- /dev/null
+++ b/Doc/tools/fix_libaux.sed
@@ -0,0 +1,3 @@
+#! /usr/bin/sed -f
+s/{\\tt  \\hackscore  {}\\hackscore  {}/\\sectcode{__/
+s/\\hackscore  {}\\hackscore  {}/__/