[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ali Baharev
Subject: Re: [Help-glpk] Re: producing PDF documentation
Date: Sun, 16 Nov 2008 13:48:12 +0100

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]