diff options
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | doc/build.md | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile index f0297dca..4e4ea984 100644 --- a/Makefile +++ b/Makefile @@ -149,6 +149,10 @@ doc/cha-%.5: $(OBJDIR)/man/cha-%.md clean: rm -rf "$(OBJDIR)/$(TARGET)" +.PHONY: distclean +distclean: clean + rm -rf "$(OUTDIR)" + manpages1 = cha.1 mancha.1 manpages5 = cha-config.5 cha-mailcap.5 cha-mime.types.5 cha-localcgi.5 \ cha-urimethodmap.5 cha-protocols.5 cha-api.5 diff --git a/doc/build.md b/doc/build.md index 2fe463b8..d5573cb2 100644 --- a/doc/build.md +++ b/doc/build.md @@ -53,7 +53,8 @@ also override them by setting an environment variable with the same name. ## Phony targets * `all`: build all required executables -* `clean`: remove OBJDIR, OUTDIR, and the QuickJS library +* `clean`: remove OBJDIR (i.e. object files, but not the built executables) +* `distclean`: remove OBJDIR and OUTDIR (i.e. both object files and executables) * `manpage`: rebuild man pages; note that this is not part of `all`. Manual pages are included in the repository, so this only needs to be called when you modify the documentation. |