diff options
author | Pavel Machek <pavel@ucw.cz> | 2000-05-11 10:47:33 +0000 |
---|---|---|
committer | Pavel Machek <pavel@ucw.cz> | 2000-05-11 10:47:33 +0000 |
commit | 7692aad10c22a58a6f83d82fc0b11db94cc777f9 (patch) | |
tree | b3155994fddfe7d24ed86f8df6e499d14484bcc3 /doc/Makefile | |
parent | ec21aecfddde3be2b061850a050108265dfbf194 (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/Makefile | 2 |
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) |