ports/math/proofgeneral/files/patch-doc-Makefile.doc
Sergey Matveychuk 7a50243ff9 - Update to 3.6
PR:		ports/94670
Submitted by:	maintainer
2006-05-01 18:00:51 +00:00

17 lines
536 B
Text

--- 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