summaryrefslogtreecommitdiffstats
path: root/math/proofgeneral/files/patch-doc-Makefile.doc
blob: 5de6e3a9a2fbab9693b68c958d56f5c5191c814e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
--- 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) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
+#$(DOCNAME).texi: ../*/*.el 
+#  $(MAKE) magic
+#magic:
+#  $(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer