diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:30:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:30:09 +0000 |
commit | eafab4576e07b8b6b65ebee418dde82c63ba4703 (patch) | |
tree | e397296d6929a74812c2eac844db299fe3856708 /Makefile | |
parent | 2773aea67dd1588695b1c88e99a0faef1c22460f (diff) |
clean does doc/clean too.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -58,7 +58,8 @@ all: $(ELC) ## ## clean: - rm -f $(ELC) + rm -f $(ELC) + (cd doc; $(MAKE) clean) ## |