2018-09-26 18:20:30 +02: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 16:26:14 +02:00
|
|
|
pdfs = $(shell ls *pdf)
|
2018-09-26 18:20:30 +02:00
|
|
|
gifs = $(pdfs:.pdf=.gif)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
all: ${gifs}
|
|
|
|
|
|
|
|
|
|
%.gif: %.pdf
|
|
|
|
|
convert -density 127 -delay 200 $< $@
|
2018-09-27 16:26:14 +02:00
|
|
|
|
|
|
|
|
minimalpdfs = $(shell ls *minimal.pdf | grep -v binb_minimal.pdf)
|
|
|
|
|
|
|
|
|
|
combo:
|
|
|
|
|
convert -density 127 -delay 100 ${minimalpdfs} binb_minimal.gif
|
