Aaron Tomb
|
692c814776
|
Don't add an extra copy of Programming Cryptol (#970)
Two different Makefiles each copied it and used different file names.
Closes #969.
|
2020-11-17 09:26:03 -08:00 |
|
Dylan McNamee
|
623b847094
|
merging changes to docs
|
2016-04-19 11:41:55 -07:00 |
|
Adam C. Foltzer
|
4c441898d9
|
remove a merge error from docs Makefile
|
2015-10-05 15:33:04 -07:00 |
|
Adam C. Foltzer
|
2ca0e6f732
|
switch back to non-latexmk for book (Windows)
Windows didn't like the latexmk solution from
5eb5f00d0a .
|
2015-09-16 11:37:00 -07:00 |
|
Adam C. Foltzer
|
5eb5f00d0a
|
change how the book is built
|
2015-09-15 13:38:06 -07:00 |
|
Adam C. Foltzer
|
ba0a0e8576
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|