/specification/
../
.gitignore
specification.pdf
specification.tex