Hi, Neil Jerram <[EMAIL PROTECTED]> writes:
> Indeed. If you have a guile-1.8 tarball, just cd to doc/ref and do > "make dvi", followed by dvips or whatever works on your system to > print from dvi. > > (Or, if you really don't want to do this yourself, let me know > privately and I'll send you a .dvi or .ps.) Maybe we could make all those formats available from http://www.gnu.org/manual/ in the same way most other projects do (e.g., http://www.gnu.org/software/gnutls/manual/)? Thanks, Ludovic. _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://lists.gnu.org/mailman/listinfo/guile-user