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