blob: 9480f3be265cd60567c85caf5f5fa0ff3ec5128c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
--- doc/Makefile.doc.orig Sun Apr 18 09:39:58 2004
+++ doc/Makefile.doc Fri Jul 22 22:10:05 2005
@@ -152,10 +152,10 @@
## texi: update magic comments in texi from docstrings in code.
## (developer use only!)
##
-$(DOCNAME).texi: ../*/*.el
- $(MAKE) magic
-magic:
- $(EMACS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
+#$(DOCNAME).texi: ../*/*.el
+# $(MAKE) magic
+#magic:
+# $(EMACS) -batch -l ../generic/texi-docstring-magic.el -l ../generic/proof-site.el -l ../generic/pg-user.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
|
