[Help-glpk] Re: producing PDF documentation

[Andrew Makhorin]

>  Andrew, that will be nice assuming the pdf format is
> searchable.  In the current distribution the ps file is of little use
> since a searchable pdf file has to be created from the latex source
> file.

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

In glpk 4.34 (released to-day) all the documentation is in source
(TeX-based) and pdf formats.