Don't include Rules: they are not needed and break stand-alone make of documentation.

diff --git a/doc/Makefile b/doc/Makefile
index f16de99a0068c5c4fea292f282f3cb7ccd0c7e34..6652113eac0bbb38aa3d7c7dc34af6f86ca1b2ec 100644 (file)
--- 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)