(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

+#! /usr/bin/sed -f
+s/{\\tt  \\hackscore  {}\\hackscore  {}/\\sectcode{__/
+s/\\hackscore  {}\\hackscore  {}/__/

Doc/tools/fix_libaux.sed

+#! /usr/bin/sed -f
+s/{\\tt  \\hackscore  {}\\hackscore  {}/\\sectcode{__/
+s/\\hackscore  {}\\hackscore  {}/__/