#!/bin/bash BASENAME="$1" EXTENSION="${BASENAME##*.}" [ "${BASENAME}" = "${EXTENSION}" ] && EXTENSION=txt [ -z "${EXTENSION}" ] && EXTENSION=txt # map Makefile and Makefile.* to .mk [ "${BASENAME%%.*}" = "Makefile" ] && EXTENSION=mk echo -n '
'

sed 's/&/\&/g; s//\>/g; s/"/\"/g; s/'"'"'/\'/g'

cat << EOF
EOF