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 <steph...@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.
>
>
