#! /bin/sed -f
# Last edited on 2008-01-15 01:40:13 by stolfi

# s:[./]*GENERIC-:${HOME}/programs/c/GENERIC-:g