--- doc/Makefile.in.orig	2007-05-23 03:17:52.000000000 +0200
+++ doc/Makefile.in	2014-05-13 08:16:43.000000000 +0200
@@ -98,18 +98,6 @@
 	-rm -rf $(DESTDIR)$(docdir)
 
 check:
-manual.txt: manual.sgml
-	if sgml2txt -c latin manual ; then \
-		uniq < manual.txt | expand > _manual.txt ; \
-		rm manual.txt ; \
-		mv _manual.txt manual.txt ;\
-	fi
-
-manual.html: manual.sgml
-	sgml2html manual  || true
-
-manual.ps: manual.sgml
-	sgml2latex --output=ps manual || true
 
 clean: 
 	rm -f *~ *.html *.orig *.rej  stamp-doc-sgml stamp-doc-man *.ps