DataMuseum.dk

top - metrics - download

    Length: 661 (0x295)
    Types: TextFile
    Names: »version.sh«

└─⟦2d1937cfd⟧ Bits:30007241 EUUGD22: P.P 5.0
    └─⟦dc59850a2⟧ »EurOpenD22/pp5.0/pp-5.tar.Z« 
        └─⟦e5a54fb17⟧ 
            └─⟦this⟧ »pp-5.0/doc/tailor/version.sh« 

TextFile

if [ "x$1" = x ]; then echo 'usage: version.sh top-level-file' 1>&2; exit 1; fi

if [ ! -r $1.major ]; then
    echo 1 > $1.major
    rm -f $1.minor
fi
if [ ! -r $1.minor ]; then echo 0 > $1.minor; fi

echo '\begingroup' > $1.vrsn
echo '    \catcode`\#=12' >> $1.vrsn

echo `cat $1.major $1.minor` | \
awk '   { major = $1; minor = $2 + 1}\
END     { printf "    \\gdef\\versiontag/{#%d.%d}%%\n", major, minor > "'tmp.vrsn'"; \
          printf "%d\n", minor > "'$1.minor'"; }'

cat tmp.vrsn >> $1.vrsn
rm tmp.vrsn
echo '    \gdef\versiondate/{'`date`'}%' >> $1.vrsn
echo '\endgroup' >> $1.vrsn
echo '\typeout{Version \versiontag/ of \versiondate/}' >> $1.vrsn