On Sat, Jul 18, 2009 at 07:05:17AM +0200, Petr Rockai wrote: > > latex2html is not DFSG-compliant. But everyone seems to use it > > anyway... :-( > > Yes: I just saw that latex2html is hardcoded elsewhere in the GNUmakefile My apologies, Eric and I have probably already had this discussion.