diff options
Diffstat (limited to 'math/proofgeneral/files/patch-doc-Makefile.doc')
| -rw-r--r-- | math/proofgeneral/files/patch-doc-Makefile.doc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc index 9480f3be265c..5de6e3a9a2fb 100644 --- a/math/proofgeneral/files/patch-doc-Makefile.doc +++ b/math/proofgeneral/files/patch-doc-Makefile.doc @@ -1,17 +1,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 @@ +--- doc/Makefile.doc.orig Thu Dec 8 07:39:33 2005 ++++ doc/Makefile.doc Thu Dec 8 07:39:46 2005 +@@ -153,10 +153,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 +- $(EMACS) $(EMACSFLAGS) -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 ++# $(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer |