6 Commits

Author	SHA1	Message	Date
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