From 8e2ac5e8a86a333289c4878c791a97d93337e84b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 14:01:54 +0000
Subject: Made a release (ProofGeneral.spec, proof-site.el, download.phtml)
 Makefile.devel: fixed fakerelease doc/Makefile:   Don't attempt page
 rearrangement if dviutils not present

---
 doc/Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/Makefile b/doc/Makefile
index 9ea2eb3a..3ef0feb0 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -20,8 +20,11 @@ DOCNAME = ProofGeneral
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 
-DVICONCAT = dviconcat
+# `dviutils' package contains these useful utilities.
+# "make rearrange" will only be called if you have dviselect.
 DVISELECT = dviselect
+DVICONCAT = dviconcat
+
 
 # Assumes actual first two pages belong to titlepage
 TITLERANGE = =1,=2
@@ -45,6 +48,9 @@ TMPFILE=pgt
 
 .texi.dvi:
 	$(TEXI2DVI) $<
+	if `which $(DVISELECT) > /dev/null`; then $(MAKE) rearrange; fi
+
+rearrange:
 	$(DVISELECT) -i $*.dvi -o $*.tmp1 $(TITLERANGE)
 	$(DVISELECT) -i $*.dvi -o $*.tmp2 $(MAINRANGE)
 	$(DVISELECT) -i $*.dvi -o $*.tmp3 $(TOC)
-- 
cgit v1.2.3