summaryrefslogtreecommitdiff
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