diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/makefile b/makefile deleted file mode 100644 index a04aaa6..0000000 --- a/makefile +++ /dev/null @@ -1,21 +0,0 @@ - -DOC=essential-ising -FIGS=fig-susmag fig-series -DATA=data_square-4096 -FUNCS=fig-mag_scaling-func fig-sus_scaling-func fig-series-data - -all: ${DOC}.pdf - -%.tex: figs/%.gplot ${DATA:%=data/%.dat} ${FUNCS:%=figs/%.dat} - gnuplot $< > $@ - -${DOC}.pdf: ${DOC}.tex ${DOC}.bib ${FIGS:%=%.tex} - rubber $(DOC).tex - dvipdf $(DOC).dvi - -clean: - rubber --clean $(DOC) - rm -f $(DOC).pdf - rm -f $(DOC)Notes.bib - rm -f ${FIGS:%=%.tex} - |