diff options
Diffstat (limited to 'doc/Makefile.doc')
-rw-r--r-- | doc/Makefile.doc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index c6531b95..3abe431a 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -154,7 +154,8 @@ distclean: clean ## texi: update magic comments in texi from docstrings in code. ## (developer use only!) ## -$(DOCNAME).texi: ../*/*.el +## remove this for now: no magic during dist ../*/*.el +$(DOCNAME).texi: $(MAKE) magic magic: $(EMACS) $(EMACSFLAGS) -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer |