2018-09-26 11:20:30 -05:00
|
|
|
## Simple Makefile to create animated gif files from pdf files
|
|
|
|
|
##
|
|
|
|
|
## Special thanks to Mikko Korpela for the hint concerning the 'density'
|
|
|
|
|
## option in pull request #5 resulting in much crisper gif files
|
|
|
|
|
##
|
|
|
|
|
## Dirk Eddelbuettel, Sep 2018, GPL-2'ed
|
|
|
|
|
|
2018-09-27 09:26:14 -05:00
|
|
|
pdfs = $(shell ls *pdf)
|
2018-09-26 11:20:30 -05:00
|
|
|
gifs = $(pdfs:.pdf=.gif)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
all: ${gifs}
|
|
|
|
|
|
|
|
|
|
%.gif: %.pdf
|
|
|
|
|
convert -density 127 -delay 200 $< $@
|
2018-09-27 09:26:14 -05:00
|
|
|
|
|
|
|
|
minimalpdfs = $(shell ls *minimal.pdf | grep -v binb_minimal.pdf)
|
|
|
|
|
|
|
|
|
|
combo:
|
|
|
|
|
convert -density 127 -delay 100 ${minimalpdfs} binb_minimal.gif
|
