if [ ! -r version ]; then echo 0 > version; fi
touch version
echo '\catcode`\#=12' > version.tex
awk ' { version = $1 + 1; }\
END { printf "\\def\\versiontag/{#1.%d}%%\n", version >> "version.tex"; \
if [ ! -r version ]; then echo 0 > version; fi
touch version
echo '\catcode`\#=12' > version.tex
awk ' { version = $1 + 1; }\
END { printf "\\def\\versiontag/{#2.%d}%%\n", version >> "version.tex"; \
if [ ! -r version ]; then echo 0 > version; fi
touch version
echo '\catcode`\#=12' > version.tex
awk ' { version = $1 + 1; }\
END { printf "\\def\\versiontag/{#1.%d}%%\n", version >> "version.tex"; \
if [ ! -r version ]; then echo 0 > version; fi
touch version
echo '\catcode`\#=12' > version.tex
awk ' { version = $1 + 1; }\
END { printf "\\def\\versiontag/{#1.%d}%%\n", version >> "version.tex"; \
if [ ! -r version ]; then echo 0 > version; fi
touch version
echo '\catcode`\#=12' > version.tex
awk ' { version = $1 + 1; }\
END { printf "\\def\\versiontag/{#1.%d}%%\n", version >> "version.tex"; \
