ok benoit@ (MAINTAINER)
- don't force -Os optimisation - respect ${CXXFLAGS} - regen patches from aanriot@ with some tweaks by myself, ok aanriot@
ok pvalchev@
-- HTMLDOC was developed in response to a need to generate high quality documentation in printed and electronic forms. It converts source HTML documentation into PDF and Postscript form, and has a GUI and CLI front-end to accomplish this.