diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 15:33:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 15:33:08 +0000 |
commit | 2ddb2592baf46a0360694b865b51f6c97a02f971 (patch) | |
tree | 34554a2f415a73cf415257a0b4567e0d11bb7e76 /doc/Makefile | |
parent | baf90444684a341919b4735a9a4447b44aa7733a (diff) |
Added back magic target, handy to force update of magic.
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
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 |