/architecture.aux
/compiler.aux
/design.aux
/design.log
/design.out
/design.pdf
/design.toc
/glossary.aux
/retargeting.aux
/run-time.aux
