--- doc/Makefile.in.orig 2011-08-14 11:28:23.000000000 +0200 +++ doc/Makefile.in 2011-08-14 11:28:47.000000000 +0200 @@ -604,8 +604,8 @@ info: info-am info-am: -install-data-am: install-data-local install-dist_docDATA \ - install-dist_htmlDATA install-htmlDATA install-man +install-data-am: install-data-local \ + install-man install-dvi: install-dvi-am