diff options
| author | Simon Barner <barner@FreeBSD.org> | 2005-08-31 10:36:36 +0000 |
|---|---|---|
| committer | Simon Barner <barner@FreeBSD.org> | 2005-08-31 10:36:36 +0000 |
| commit | f6925bfda8fa5d2210b99b27e56627b190c0cca9 (patch) | |
| tree | ca3da9d2b0641bd54a5bb5829c60a043ecb64387 /math/proofgeneral/files/patch-doc-Makefile.doc | |
| parent | Fix PTHREAD_* misspellings (diff) | |
Add proofgeneral 3.5, a generic interface for proof assistants.
PR: 84788
Submitted by: Timothy Bourke <timbob@bigpond.com>
Diffstat (limited to 'math/proofgeneral/files/patch-doc-Makefile.doc')
| -rw-r--r-- | math/proofgeneral/files/patch-doc-Makefile.doc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc new file mode 100644 index 000000000000..9480f3be265c --- /dev/null +++ b/math/proofgeneral/files/patch-doc-Makefile.doc @@ -0,0 +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 @@ + ## 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 + + + |