1 files changed, 57 insertions, 8 deletions
diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc
index 5d44677f52b0..023e954eead0 100644
--- a/math/proofgeneral/files/patch-doc-Makefile.doc
+++ b/math/proofgeneral/files/patch-doc-Makefile.doc
@@ -1,17 +1,66 @@
---- doc/Makefile.doc.orig	2008-02-23 15:11:19.000000000 +1100
-+++ doc/Makefile.doc	2008-02-23 15:10:59.000000000 +1100
-@@ -155,10 +155,10 @@
+--- doc/Makefile.doc.orig	2011-05-05 10:46:27.000000000 -0700
++++ doc/Makefile.doc	2012-04-11 22:03:35.000000000 -0700
+@@ -40,16 +40,13 @@
+ 
+ TMPFILE=pgt
+ 
+-.SUFFIXES:  .texi .info .html .pdf .gz
++.SUFFIXES:  .texi .info .html .gz
+ 
+ default: doc
+ 
+ .texi.info:
+ 	$(MAKEINFO) $< 
+ 
+-.texi.pdf:
+-	$(TEXI2PDF) $< 
+-
+ .texi.html:	
+ 	$(TEXI2HTML) --output $* $< 
+ 
+@@ -61,21 +58,19 @@
+ 	gzip -f -9 $*
+ 
+ ## 
+-## doc : build pdf, info files from $(DOCNAME).texi
++## doc : build info files from $(DOCNAME).texi
+ ##
+-doc:	pdf info
++doc:	info
+ 
+ ## 
+ ## all : build all documentation targets
+ ##
+-all:    html info pdf
++all:    html info
+ 
+ ##
+ ## dist: build distribution targets
+ ##
+-dist:   info html pdf
+-
+-pdf:    $(DOCNAME).pdf
++dist:   info html
+ 
+ # da: target is a fake: we actually make in a subdir
+ html:   $(DOCNAME).html
+@@ -97,18 +92,13 @@
+ ## distclean: Remove documentation targets
+ ##
+ distclean:   clean
+-	rm -rf $(DOCNAME).info* $(DOCNAME).pdf $(DOCNAME)
++	rm -rf $(DOCNAME).info* $(DOCNAME)
+ 
+ ##
+ ## texi: update magic comments in texi from docstrings in code.
  ##	  (developer use only!)
+ ##       Must be run from source .els otherwise function arguments lost
  ##
- ## remove this for now: no magic during dist ../*/*.el 
 -$(DOCNAME).texi: 
 -	$(MAKE) magic
 -magic:
+-	(cd ..; make clean)
 -	$(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
-+#$(DOCNAME).texi: 
-+#	$(MAKE) magic
-+#magic:
-+#	$(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
  
  debugmagic:
  	$(EMACS) $(EMACFLAGS)  -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer