9822c71 Work around the newer texi2html which is behaving somehow else

Authored and Committed by robert 15 years ago
1 file changed. 10 lines added. 1 lines removed.
    Work around the newer texi2html which is behaving somehow else
    
        
file modified
+10 -1