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 &&					\