Revert "Kwxm/eutxo spec (#1177)" (#1178)

This reverts commit f6ef7b7.
IntersectMBO · Jun 26, 2019 · c666d44 · c666d44
1 parent f6ef7b7
commit c666d44
Show file tree

Hide file tree

Showing 2 changed files with 614 additions and 411 deletions.
diff --git a/extended-utxo-spec/Makefile b/extended-utxo-spec/Makefile
@@ -20,8 +20,7 @@ all: pdf
 pdf: ${PDF}
 
 ${DOC}.pdf: ${SRC}
-	rm -f ${DOC}.bbl
-	${LATEX} ${DOC}
+	${LATEX}  ${DOC}
 	${BIBTEX} ${DOC}
 	${LATEX}  ${DOC}   # to make sure the (cross)references are correct
 	${LATEX}  ${DOC}