1--- doc/Makefile.orig	2015-10-08 21:45:57.360084007 +0200
2+++ doc/Makefile	2015-10-08 21:46:04.353084097 +0200
3@@ -12,5 +12,5 @@
4 top_builddir = ..
5 include $(top_builddir)/src/Makefile.global
6
7-all distprep html man install installdirs uninstall clean distclean maintainer-clean:
8+all distprep man install installdirs uninstall clean distclean maintainer-clean:
9 	$(MAKE) -C src $@
10