#!/bin/sh
set -eux
sed -i 's/``/\\enquote{/g' $1
sed -i "s/''/}/g" $1
sed -i "s;\\\\enquote{gfdl.tex};\`\`gfdl.tex'';" $1