> What is the approved way of generating and installing docs? > I tried (from source) > > ./configure ... > make all > make install > make html > make dvi > make ps > make install-docs > > The latter command fails with (as usual with a bit of German :-) Do you have Haddock installed? Did the configure script detect it? Cheers, Simon