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