[EMAIL PROTECTED] (Ludovic Courtès) writes:
> 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/)?
Yes, that would be good. Any idea how we can set it up?
Regards,
Neil
_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-user
