docs: use sed to modernize the markup generated by latex2html
authorRamprasad Venkataraman <ramv@illinois.edu>
Mon, 30 Jul 2012 23:38:04 +0000 (18:38 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Mon, 30 Jul 2012 23:38:04 +0000 (18:38 -0500)
commit5e8c73763318391df169f441fffca9066a233ce2
tree225cb94189ea1dbda9903f7841d21306d62945ec
parent879f739914376335a0dbfb7a6c59274a0c405436
docs: use sed to modernize the markup generated by latex2html
doc/latex2html_fixpaths.sh