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