(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.
2 files changed