|
|
1.1 ! root 1: if [ "x$1" = x ]; then echo 'usage: version.sh top-level-file' 1>&2; exit 1; fi ! 2: ! 3: if [ ! -r $1.major ]; then ! 4: echo 1 > $1.major ! 5: rm -f $1.minor ! 6: fi ! 7: if [ ! -r $1.minor ]; then echo 0 > $1.minor; fi ! 8: ! 9: echo '\begingroup' > $1.vrsn ! 10: echo ' \catcode`\#=12' >> $1.vrsn ! 11: ! 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'"; }' ! 16: ! 17: echo ' \gdef\versiondate/{'`date`'}%' >> $1.vrsn ! 18: echo '\endgroup' >> $1.vrsn ! 19: echo '\typeout{Version \versiontag/ of \versiondate/}' >> $1.vrsn
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.