From 38719fdc508b48e3ea5cee182eaf47fc95e8c621 Mon Sep 17 00:00:00 2001
From: mainzelm <mainzelm>
Date: Mon, 10 Mar 2003 12:13:02 +0000
Subject: [PATCH] Make scsh-paper for dist

---
 Makefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.in b/Makefile.in
index 95f501d..fb3da76 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -519,6 +519,7 @@ dist: build/initial.image
 	dvips manual -o manual.ps && hyperlatex manual.tex) &&		\
 	(cd doc/scsh-manual && makeindex man && make man.ps && 		\
 	make man.pdf && make html) && 					\
+	(cd doc/scsh-paper && make scsh-paper.ps && make html) && 	\
 	distname=$(distname) &&						\
 	distfile=$(distdir)/$$distname.tar.gz &&			\
 	if [ -d $(distdir) ] &&						\