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) + | 
