mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
Don't add an extra copy of Programming Cryptol (#970)
Two different Makefiles each copied it and used different file names. Closes #969.
This commit is contained in:
parent
85413b3212
commit
692c814776
@ -25,7 +25,6 @@ MAKEINDEX = makeindex
|
||||
# TODO: Ensure that TEXINPUTS is set correctly to make \includes and \usepackages more robust?
|
||||
|
||||
all: pdf
|
||||
cp ${TMP}/Cryptol.pdf ..
|
||||
|
||||
test:
|
||||
cd aes ; make test
|
||||
|
Loading…
Reference in New Issue
Block a user