I sent an email this morning about this issue, apparently it has to do with a missing font. Esteban A. Maringolo 2016-04-27 16:50 GMT-03:00 stepharo <stepharo@free.fr>:
Hi
I tried to fix the build on jenkins but I failed. I do not know how to fix it.
I do not know how to fix. Probably the changes in Pillar broke it.
Now since Damien will quit our team, I wonder what will be the future of pillar, may be markdown and for me LaTeX
Stef
./AWS.tex:40: LaTeX Error: Environment listing undefined.
See the LaTeX manual or LaTeX Companion for explanation. Type H <return> for immediate help. ...
l.40 \begin{listing} [language=smalltalk] Your command was ignored. Type I <command> <return> to replace it with another command, or <return> to continue without it.
./AWS.tex:53: LaTeX Error: \begin{document} ended by \end{listing}.
See the LaTeX manual or LaTeX Companion for explanation. Type H <return> for immediate help. ...
l.53 \end{listing}
Your command was ignored. Type I <command> <return> to replace it with another command, or <return> to continue without it.
No file AWS.bbl.