#!/usr/bin/sed -Ef

# Convert all references to various other image formats to EPS
# Used for DVI creation / LaTeX.
/!\[[^]]*\]\(images\/[^)]*) *$/s/images\/(.*)\.(bmp|dot|gif|jpg|jpeg|png|raw|tiff|xcf|pnm|ppm|ps)\) *$/images-eps\/\1_\2.eps)/