*.pdf
*.aux
*.log
.direnv