diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..a2a0925 --- /dev/null +++ b/makefile @@ -0,0 +1,13 @@ + +DOC=essential_ising.tex +FIGS=scaling_func + +all: ${FIGS:%=figs/%.tex} + rubber --pdf $(DOC) + +figs/%.tex: figs/%.gplot + gnuplot $< > $@ + +clean: + rubber --clean $(DOC) + |