*.o *.exe *.hi result* dist dist-newstyle bild/* TAGS .tex .pdf