diff options
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 |