--- ./doc/Makefile.orig	2016-01-04 23:29:34.000000000 +0200
+++ ./doc/Makefile	2016-02-06 13:14:25.562318000 +0200
@@ -12,5 +12,5 @@
 top_builddir = ..
 include $(top_builddir)/src/Makefile.global
 
-all distprep html man install installdirs uninstall clean distclean maintainer-clean:
+all distprep man install installdirs uninstall clean distclean maintainer-clean:
 	$(MAKE) -C src $@