aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-12-15 15:33:08 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-12-15 15:33:08 +0000
commit2ddb2592baf46a0360694b865b51f6c97a02f971 (patch)
tree34554a2f415a73cf415257a0b4567e0d11bb7e76 /doc/Makefile
parentbaf90444684a341919b4735a9a4447b44aa7733a (diff)
Added back magic target, handy to force update of magic.
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index bfa9d855..32c5bcc1 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -97,7 +97,9 @@ distclean: clean
## texi: update magic comments in texi from docstrings in code.
## (developer use only!)
##
-$(DOCNAME).texi: ../*/*.el
+$(DOCNAME).texi: ../*/*.el
+ $(MAKE) magic
+magic:
$(EMACS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer