Build S48 manual while making dist
This commit is contained in:
parent
1e1d44a497
commit
69dec7110d
|
@ -515,11 +515,12 @@ DISTFILES = README COPYING INSTALL RELEASE configure config.sub config.guess \
|
||||||
distname = $(RUNNABLE)-0.`cat build/minor-version-number`
|
distname = $(RUNNABLE)-0.`cat build/minor-version-number`
|
||||||
|
|
||||||
dist: build/initial.image
|
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 && \
|
(cd doc/scsh-manual && makeindex man && make man.ps && \
|
||||||
make man.pdf && make html) && \
|
make man.pdf && make html) && \
|
||||||
distname=$(distname) && \
|
distname=$(distname) && \
|
||||||
distfile=$(distdir)/$$distname.tar.gz && \
|
distfile=$(distdir)/$$distname.tar.gz && \
|
||||||
if [ -d $(distdir) ] && \
|
if [ -d $(distdir) ] && \
|
||||||
[ -w $$distfile -o -w $(distdir) ]; then \
|
[ -w $$distfile -o -w $(distdir) ]; then \
|
||||||
rm -f $$distname && \
|
rm -f $$distname && \
|
||||||
|
|
Loading…
Reference in New Issue