Skip to content

Commit

Permalink
MNT #720 now try this
Browse files Browse the repository at this point in the history
  • Loading branch information
prjemian committed Jan 23, 2020
1 parent 775bb9c commit d571b74
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion jenkins_build
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ if test "${job_name}" = "master branch"; then
# next, build the PDF
# extra option needed to satisfy "levels nested too deeply" error
# expect it to fail (thus exit 0) since nexus.ind not found first time
pdflatex --interaction=nonstopmode nexus.tex || exit 0
( pdflatex --interaction=nonstopmode nexus.tex || exit 0 )
# run again with fresh nexus.ind
pdflatex --interaction=nonstopmode nexus.tex
cd ..
Expand Down

0 comments on commit d571b74

Please sign in to comment.