diff options
| -rw-r--r-- | doc/Makefile.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index 170f10d1..e48c943e 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -156,7 +156,7 @@ distclean: clean $(DOCNAME).texi: ../*/*.el $(MAKE) magic magic: - $(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer + $(EMACS) $(EMACSFLAGS) -l texi-docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer |