From 25e823e27199b92d0a8ac7ee445c61d91a647ab0 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>
Date: Mon, 14 Dec 1998 14:49:29 +0000
Subject: rearrange pages automatically

---
 doc/Makefile | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index 7401acfe..3ecfb7d9 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -19,6 +19,18 @@ DOCNAME = ProofGeneral
 
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
+
+DVICONCAT = dviconcat
+DVISELECT = dviselect
+
+# Assumes actual first two pages belong to titlepage
+TITLERANGE = =1,=2
+
+# Assumes that main document starts on third actual page
+MAINRANGE = =3,=4,5:
+
+TOC = :_1
+
 DVI2PS = dvips
 TEXI2PDF = texi2pdf
 TEXI2HTML = texi2html
@@ -30,7 +42,12 @@ EMACS = xemacs -batch
 	$(MAKEINFO) $< 
 
 .texi.dvi:
-	$(TEXI2DVI) $< 
+	$(TEXI2DVI) $<
+	$(DVISELECT) -i $*.dvi -o $*.tmp1 $(TITLERANGE)
+	$(DVISELECT) -i $*.dvi -o $*.tmp2 $(MAINRANGE)
+	$(DVISELECT) -i $*.dvi -o $*.tmp3 $(TOC)
+	$(DVICONCAT) -o $*.dvi $*.tmp1 $*.tmp3 $*.tmp2 
+	rm -f $*.tmp1 $*.tmp2 $*.tmp3
 
 
 .texi.pdf:
-- 
cgit v1.2.3