810b36f fix HTML pages from which man pages are now generated correctly (#644248)

Authored and Committed by jnovy 13 years ago
    fix HTML pages from which man pages are now generated correctly (#644248)
    
        
file added
+204
file modified
+6 -1