1 if [ "x$1" = x ]; then echo 'usage: version.sh top-level-file' 1>&2; exit 1; fi
3 if [ ! -r $1.major ]; then
7 if [ ! -r $1.minor ]; then echo 0 > $1.minor; fi
9 echo '\begingroup' > $1.vrsn
10 echo ' \catcode`\#=12' >> $1.vrsn
12 echo `cat $1.major $1.minor` | \
13 awk ' { major = $1; minor = $2 + 1}\
14 END { printf " \\gdef\\versiontag/{#%d.%d}%%\n", major, minor >> "'$1.vrsn'"; \
15 printf "%d\n", minor > "'$1.minor'"; }'
17 echo ' \gdef\versiondate/{'`date`'}%' >> $1.vrsn
18 echo '\endgroup' >> $1.vrsn
19 echo '\typeout{Version \versiontag/ of \versiondate/}' >> $1.vrsn