use dblatex for producing the PDF doc. We could now go full XML

Jean-Francois Dockes Jean-Francois Dockes 2013-03-30

changed src/doc/user/00README.txt
changed src/doc/user/usermanual.sgml
changed src/doc/user/xmlmake.sh
src/doc/user/00README.txt Diff Switch to side-by-side view
Loading...
src/doc/user/usermanual.sgml Diff Switch to side-by-side view
Loading...
src/doc/user/xmlmake.sh Diff Switch to side-by-side view
Loading...