aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-11-25 12:30:09 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-11-25 12:30:09 +0000
commiteafab4576e07b8b6b65ebee418dde82c63ba4703 (patch)
treee397296d6929a74812c2eac844db299fe3856708 /Makefile
parent2773aea67dd1588695b1c88e99a0faef1c22460f (diff)
clean does doc/clean too.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8768b8a7..462b7e19 100644
--- a/Makefile
+++ b/Makefile
@@ -58,7 +58,8 @@ all: $(ELC)
##
##
clean:
- rm -f $(ELC)
+ rm -f $(ELC)
+ (cd doc; $(MAKE) clean)
##