Improve triple compilation.

Triple compilation now also takes place after 'bibtex' and 'makeindex'.