diff --git a/doc/Makefile b/doc/Makefile
index f16de99a..6652113e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,8 +1,6 @@
 root-rel=../
 dir-name=doc
 
-include ../Rules
-
 progdocs:
 	mkdir -p prog
 	$(srcdir)/tools/progdoc $(srcdir_abs)