GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-23 22:27:25 +03:00
Code Issues Projects Releases Wiki Activity

Leave Markdown files out of distribution packages (#971)

Browse Source
This commit is contained in:
Aaron Tomb 2020-11-17 14:23:41 -08:00 committed by GitHub
parent 0943e98d97
commit 5cbf17b425
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/ci.sh vendored
View File

@ -145,7 +145,7 @@ bundle_files() {
mkdir -p $doc mkdir -p $doc
cp -R examples/ $doc/examples/ cp -R examples/ $doc/examples/
rm -rf $doc/examples/cryptol-specs rm -rf $doc/examples/cryptol-specs
cp docs/*md docs/*pdf $doc cp docs/*pdf $doc
# Copy the two interesting examples over # Copy the two interesting examples over
cp docs/ProgrammingCryptol/{aes/AES,enigma/Enigma}.cry $doc/examples/ cp docs/ProgrammingCryptol/{aes/AES,enigma/Enigma}.cry $doc/examples/