diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 12:47:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 12:47:14 +0000 |
commit | 5a8829c9bbec1af74c86333dc6ba4cc6b5ce19a5 (patch) | |
tree | ef4a2f0bc95f09c7b1491c61b93a5a06b2c557be /doc/Makefile.doc | |
parent | 7a2e086c47e6b4ca4eb3dcec512db7c8040c3857 (diff) |
Updated.
Diffstat (limited to 'doc/Makefile.doc')
-rw-r--r-- | doc/Makefile.doc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index 3abe431a..c69c668b 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -160,6 +160,9 @@ $(DOCNAME).texi: magic: $(EMACS) $(EMACSFLAGS) -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer +debugmagic: + $(EMAC) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el PG-adapting.texi -f texi-docstring-magic -f save-buffer + |