slightly improve the handbook build script

if some command fails, it now stops.
This commit is contained in:
Andreas Lauser 2017-01-16 15:28:06 +01:00
parent b2a1608e0b
commit bdb8c8eeff

View File

@ -1,11 +1,11 @@
#! /bin/sh
# this script build the eWoms handbook from its LaTeX sources. The
# this script builds the eWoms handbook from its LaTeX sources. The
# result file is called "ewoms-handbook.pdf"
latex ewoms-handbook
bibtex ewoms-handbook
latex ewoms-handbook
latex ewoms-handbook
dvipdf ewoms-handbook
latex ewoms-handbook || exit $?
bibtex ewoms-handbook || exit $?
latex ewoms-handbook || exit $?
latex ewoms-handbook || exit $?
dvipdf ewoms-handbook || exit $?
rm ewoms-handbook.dvi