Unverified Commit f682d3d4 authored by
Makefile.in, doc/Makedoc.sh: More versatile doc format selection. Build pdf, not dvi+ps.
* Use a more versatile doc format selection for build, based in BUILDDOC_FORMATS variable with possible values txt pdf info lyx html rtf dvi+ps This needs to be made configurable from configure. * Build by default newly added pdf format instead of old but still supported dvi+ps. * Do not try dvips if latex is not available. * Minor cosmetic changes. Signed-off-by: Agustin Martin Domingo <email@example.com>
Showing with 69 additions and 32 deletions