view papers/multifarious/version.sh @ 17:76d91e545ea8 default tip

addrsbr and dtimep fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 24 Nov 2014 14:49:25 +0900
parents bce86c4163a3
children
line wrap: on
line source

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"; \
	  printf "%d\n", version > "version"; }' < version
echo '\def\versiondate/{'`date`'}%' >> version.tex
echo '\catcode`\#=6' >> version.tex
echo '\tell{Version \versiontag/ of \versiondate/}' >> version.tex