From 66c13b9f8b62f7c2c78469d7dc36ee31bba3757d Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 19 Nov 1999 19:13:01 +0000
Subject: Additions for pdf version; needs hack to my pdftexinfo.tex to work

---
 doc/Makefile | 24 ++++++++++++++++++------
 1 file changed, 18 insertions(+), 6 deletions(-)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index a07968c3..f489be81 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -78,9 +78,21 @@ ProofGeneral.txt:
 # In fact, the flag seems not to work (why?), 
 # so comment out the image line too. 
 # NB! mustn't have another line with '@c image' in it.
-ProofGeneral.eps:
-	if [ -f ProofGeneral.eps.gz ]; then gunzip -c ProofGeneral.eps.gz > ProofGeneral.eps; fi
-	if [ -f ProofGeneral.eps ]; then \
+ProofGeneralPortrait.eps:
+	if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; fi
+	if [ -f ProofGeneralPortrait.eps ]; then \
+	  sed 's/@clear haveeps/@set haveeps/g' ProofGeneral.texi > $(TMPFILE); \
+	  sed 's/@c image{ProofGeneral}/@image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \
+	else   \
+	  sed 's/@set haveeps/@clear haveeps/g' ProofGeneral.texi > $(TMPFILE); \
+	  sed 's/@image{ProofGeneral}/@c image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \
+	fi
+	rm -f $(TMPFILE)
+
+ProofGeneralPortrait.pdf:
+	if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; fi
+	epstopdf ProofGeneralPortrait.eps
+	if [ -f ProofGeneralPortrait.pdf ]; then \
 	  sed 's/@clear haveeps/@set haveeps/g' ProofGeneral.texi > $(TMPFILE); \
 	  sed 's/@c image{ProofGeneral}/@image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \
 	else   \
@@ -107,10 +119,10 @@ all:    dvi ps html info pdf
 ##
 dist:   info html psz
 
-dvi:    ProofGeneral.eps $(DOCNAME).dvi
+dvi:    ProofGeneralPortrait.eps $(DOCNAME).dvi
 ps:	dvi $(DOCNAME).ps
 psz:	ps $(DOCNAME).ps.gz
-pdf:    $(DOCNAME).pdf
+pdf:    ProofGeneralPortrait.pdf $(DOCNAME).pdf
 html:   $(DOCNAME).html
 info:   ProofGeneral.txt $(DOCNAME).info
 
@@ -122,7 +134,7 @@ info:   ProofGeneral.txt $(DOCNAME).info
 ## clean: Remove subsidiary documentation files
 ##
 clean:
-	rm -f ProofGeneral.txt ProofGeneral.eps
+	rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf
 	rm -f $(DOCNAME).{cp,fn,vr,tp,ky,pg} 
 	rm -f $(DOCNAME).{fns,vrs,cps,aux,log,toc,kys,cp0}
 	rm -f *~
-- 
cgit v1.2.3