> > Great.  Maybe it would be possible to build info files from it also?
> > Or dvi files?  I haven't managed to convinced the make system to build
> > me anything else than a website.

'make -C Documentation/user dvi' used to give you DVI files, I
haven't tried lately.

      /Mats


Reply via email to