> 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 _______________________________________________ Help-glpk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-glpk
