git.iko.soy/Idris-dev
on master help sign in
making implementation paper depended on local file in some extern directory
3a5767cMekeor Melire
impl-paper/Makefile−3
compare with master
unifiedsplit
@@ -10,9 +10,6 @@ DIAGS =
10
10
11SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.bib
11SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.bib
12
12
13−library.bib: .PHONY
14− cp ~/Research/Papers/library.bib .
15−
16DITAA = java -jar ~/Downloads/ditaa.jar
13DITAA = java -jar ~/Downloads/ditaa.jar
17
14
18${PAPER}.pdf: ${SOURCES}
15${PAPER}.pdf: ${SOURCES}