Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 14 lines (12 sloc) 425 Bytes
#!/bin/bash
for i in excerpts/*.ooc excerpts/*.c samples/*.ooc excerpts/*.S; do
printf "\r "
printf "\rBuilding $i"
SRC=$i
DST=$i.tex
if [[ ${SRC} -nt ${DST} ]]; then
pygmentize -O style=bw -f tex -o $i.tex $i
fi
done
printf "\r "
printf "\rBuilt all excerpts.\n"