diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1da8e9d --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +imgs := $(shell ls jpgs) + +make.pdf : make.tex + pdftex make.tex +make.tex : make.pre.tex + cp make.pre.tex make.tex; + for img in $(imgs);\ + do echo "\img{jpgs/$$img}{$$(stat hires/$$img\ + | awk '/Mod/ {a=substr($$0, 9, length($$0)-24); split(a, b); split(b[2], c, ":"); print b[1] "\\\\par" c[1] + 4 ":" c[2] ":" c[3];}')}" >> make.tex; done; + echo "\\\\bye" >> make.tex + +.PHONY : clean +clean : + rm -f make.tex make.pdf + |