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

  /src/external/gpl2/texinfo/dist/util/
gen-dir-node 112 infoname=`echo $file | sed 's/\.info$//'`
115 if [ -f ${INFODIR}/$infoname ] ; then
116 noext=$infoname
118 if [ -f ${INFODIR}/${infoname}.info ] ; then
119 ext=${infoname}.info
145 echo "* ${infoname}: (${infoname})."
185 infoname=`echo $file | sed 's/\.info$//'`
191 echo "* ${infoname}: (${infoname}).
    [all...]
fix-info-dir 241 infoname=`echo $file|sed -e 's/.info$//'`
248 echo "* ${infoname}: (${infoname})."

Completed in 14 milliseconds