GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/master' into wip/name-change

Browse Source
This commit is contained in:
Trevor Elliott 2015-10-07 09:18:31 -07:00
commit 8100d90324
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/ProgrammingCryptol/Makefile
View File

@ -38,8 +38,6 @@ ${TMP}:
${TARGET}.pdf: ${SRCS} ${TMP}
# surely I don't need this many latex's and indexes etc; but this looks like a sure fire way of
${LATEXMK} -c ${MAINTARGET}.tex
${LATEXMK} -c ${MAINTARGET}.tex
# getting numbers right.. heh
${LATEX} ${MAINTARGET}
${MAKEINDEX} ${TMP}/Cryptol.glo -s ${TMP}/Cryptol.ist -t ${TMP}/Cryptol.glg -o ${TMP}/Cryptol.gls