summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2023-12-17 21:25:39 +0100
committerJonas Bernoulli <jonas@bernoul.li>2023-12-17 21:25:39 +0100
commit85c37d356355000de7e5992cf0ec0127868c090a (patch)
tree3b519621ec236c59cd9ca44bbda1d504403312a2 /Makefile
parent121e87e6c38c45b9c529453b065b0e45a45e25b2 (diff)
make: Add redo target
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 2117e62..bfaaffb 100644
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,7 @@ all: lisp docs
help:
$(info make all - generate lisp and manual)
$(info make lisp - generate byte-code and autoloads)
+ $(info make redo - re-generate byte-code and autoloads)
$(info make docs - generate most manual formats)
$(info make texi - generate texi manual (see comments))
$(info make info - generate info manual)
@@ -21,6 +22,8 @@ help:
$(info make clean - remove most generated files)
@printf "\n"
+redo:
+ @$(MAKE) -C lisp clean lisp
lisp:
@$(MAKE) -C lisp lisp