From 69dec7110d7a4841dd030af19d2d551261f30506 Mon Sep 17 00:00:00 2001
From: mainzelm <mainzelm>
Date: Mon, 10 Mar 2003 11:58:17 +0000
Subject: [PATCH] Build S48 manual while making dist

---
 Makefile.in | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index a31c341..95f501d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -515,11 +515,12 @@ DISTFILES = README COPYING INSTALL RELEASE configure config.sub config.guess \
 distname = $(RUNNABLE)-0.`cat build/minor-version-number`
 
 dist: build/initial.image
-	(cd doc/src && hyperlatex manual.tex) &&			\
+	(cd doc/src && latex manual.tex && latex manual.tex && 		\
+	dvips manual -o manual.ps && hyperlatex manual.tex) &&		\
 	(cd doc/scsh-manual && makeindex man && make man.ps && 		\
 	make man.pdf && make html) && 					\
 	distname=$(distname) &&						\
-	distfile=$(distdir)/$$distname.tar.gz &&				\
+	distfile=$(distdir)/$$distname.tar.gz &&			\
 	if [ -d $(distdir) ] &&						\
 	   [ -w $$distfile -o -w $(distdir) ]; then			\
 		rm -f $$distname &&					\