HomeSort by: relevance | last modified time | path
    Searched refs:rcs_version (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl2/texinfo/dist/util/
gendocs.sh 43 rcs_version=`set - $rcs_revision; echo $2`
45 version="gendocs.sh $rcs_version
texi2dvi 31 rcs_version=`set - $rcs_revision; echo $2`
33 version="texi2dvi (GNU Texinfo 4.8) $rcs_version

Completed in 44 milliseconds