diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 16:46:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 16:46:11 +0000 |
commit | 00dbb88bd5fab96e68edeb8d540025e0b1acd773 (patch) | |
tree | 7affa59a022e24f3b9e031bddcea0f5d807889b5 /doc/Makefile.doc | |
parent | 86e02355636633dfe747fbdecb208505a02af910 (diff) |
Prevent magic during dist
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 |