kili 3a60489c6b Update to latex2html-2008, which is GPLv2. ... @comment two files which may conflict with texlive. Better (quicker) @exec/@unexec combo, suggested by edd@. ok edd@		2010-04-14 12:16:29 +00:00
..
patch-config_install_pl	Update to latex2html-2008, which is GPLv2.	2010-04-14 12:16:29 +00:00