summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile2
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile
index f16de99..6652113 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)