>> Well, I didn't meant to remove TeX sources. I just find PDF >> documentation more convenient than PS or even DVI files. So why not >> keep TeX sources in place, but offer a compiled PDF manual instead of >> the PS variant? >> >> At least the DVI file could be removed, since whoever cannot compile TeX >> sources to DVI is likely unable to display DVI files as well, since that >> format has no resources (fonts) embedded. On the other hand, whoever is >> able to view DVI files should be able to generate it from source. > > Or offer a PDF instead of the DVI and keep the PS? > > It would be nice to have searchable PDF documentation in the > distribution.
In the next release of the package I think to include the glpk documentation in latex/texi (source), dvi, pdf, and ps formats, where pdf and ps are produced from dvi. _______________________________________________ Help-glpk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-glpk
