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