echo "s%@VERSION@%${VERSION}%g" >${out}
echo "s%@DATE@%${DATE}%g" >>${out}
sed -f ${out} manuals/version.tex.in >manuals/version.tex
echo "s%@VERSION@%${VERSION}%g" >${out}
echo "s%@DATE@%${DATE}%g" >>${out}
sed -f ${out} manuals/version.tex.in >manuals/version.tex