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

[Ali Baharev]

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

Ali