[posted through Gmane, CC Andrew, Nigel, Robbie] Andrew Makhorin schrieb: >>> PS: What about replacing glpk.ps by glpk.pdf, given that > > Glpk documentation (like documentation of other GNU packages) is neither > .ps nor in .pdf format. It is plain text files in TeX-based format. This > is recommended by the GNU Coding Standards; see: > http://www.gnu.org/prep/standards/standards.html#GNU-Manuals
Thank you for the reference. > .Dvi and .ps versions of the glpk documentation are included in the > distribution only for the sake of convenience. Normally, as it is made > in most GNU packages, documentation is produced on building the package > with 'make doc'. However, sometimes it is problematic, because requires > the TeX system to be installed, and until recently such feature was > unavailable, for example, for cygwin users. 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. Best regards, Stephan Hennig _______________________________________________ Help-glpk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-glpk
