diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-05-10 23:25:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-10 23:25:22 +0000 |
commit | 9f88988111efacb799e0160fca870b80e8b9a030 (patch) | |
tree | 4edb523022224769b9dc228b4c154afbc5823485 /doc/Makefile.doc | |
parent | 6146b5755ce55c4c5ed8fe4b1141b8d332378e98 (diff) |
Fix library name
Diffstat (limited to 'doc/Makefile.doc')
-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 |