Make scsh-paper for dist
This commit is contained in:
parent
26ba134afa
commit
38719fdc50
|
@ -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) ] && \
|
||||
|
|
Loading…
Reference in New Issue