Searched refs:rcs_version (Results 1 – 4 of 4) sorted by relevance
43 rcs_version=`set - $rcs_revision; echo $2`45 version="gendocs.sh $rcs_version
31 rcs_version=`set - $rcs_revision; echo $2`33 version="texi2dvi (GNU Texinfo 4.8) $rcs_version
41 rcs_version=`set - $rcs_revision; echo $2`