Re: [Help-glpk] Re: producing PDF documentation

[Andrew Makhorin]

>> PS: What about replacing glpk.ps by glpk.pdf, given that
>> 
>> * nowadays, PDF provides better accessibility than PS,
>> * pdfTeX is known to produce very good (compatible) PDF code,
>> * hyper link, outline, PDF meta data, and XMP data support can be easily
>> added for PDF output,
>> * PDF size is around 260 kB smaller than PS size,
>> * ...
>> 

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

.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.