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

[Andrew Makhorin]

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