/target
/doc
tex/*/out
*.dot
*.mir