mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
Getting the right TeX Live and pandoc environments on the build slaves is turning out to be a Big Headache. For now, build docs locally and keep the repo copies up to date.
17 lines
262 B
Plaintext
17 lines
262 B
Plaintext
*.pyc
|
|
*\#*
|
|
*~
|
|
.DS_Store
|
|
.cabal-sandbox
|
|
cabal.sandbox.config
|
|
dist
|
|
results.xml
|
|
|
|
# don't check in generated documentation
|
|
#docs/CryptolPrims.pdf
|
|
#docs/ProgrammingCryptol.pdf
|
|
#docs/Syntax.pdf
|
|
d#ocs/Version2Changes.pdf
|
|
|
|
# don't check in distribution files
|
|
cryptol-2.* |