summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorPavel Machek <pavel@ucw.cz>2000-05-11 10:47:33 +0000
committerPavel Machek <pavel@ucw.cz>2000-05-11 10:47:33 +0000
commit7692aad10c22a58a6f83d82fc0b11db94cc777f9 (patch)
treeb3155994fddfe7d24ed86f8df6e499d14484bcc3 /doc/Makefile
parentec21aecfddde3be2b061850a050108265dfbf194 (diff)
Don't include Rules: they are not needed and break stand-alone make of documentation.
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile2
1 files changed, 0 insertions, 2 deletions
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)