Skip to content

Commit

Permalink
MNT #720 force index to build
Browse files Browse the repository at this point in the history
  • Loading branch information
prjemian committed Jan 23, 2020
1 parent d571b74 commit 185de86
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion jenkins_build
Original file line number Diff line number Diff line change
Expand Up @@ -40,8 +40,10 @@ if test "${job_name}" = "master branch"; then
# 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 )
# make the .ind file now
makeindex nexus.idx
# run again with fresh nexus.ind
pdflatex --interaction=nonstopmode nexus.tex
( pdflatex --interaction=nonstopmode nexus.tex || exit 0 )
cd ..

#pdf
Expand Down

0 comments on commit 185de86

Please sign in to comment.