Update HaxeDoc.tex