diff options
| author | David Aspinall | 2007-05-10 23:25:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-05-10 23:25:22 +0000 |
| commit | 9f88988111efacb799e0160fca870b80e8b9a030 (patch) | |
| tree | 4edb523022224769b9dc228b4c154afbc5823485 | |
| parent | 6146b5755ce55c4c5ed8fe4b1141b8d332378e98 (diff) | |
Fix library name
| -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 |