File indexing completed on 2024-12-22 05:06:14 

0001 TEXDOC=trojita
0002 
0003 pdflatex -shell-escape "${TEXDOC}.tex" && \
0004     bibtex "${TEXDOC}.aux" && \
0005     pdflatex -shell-escape "${TEXDOC}.tex" && \
0006     pdflatex -shell-escape "${TEXDOC}.tex"