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

  /src/external/gpl2/texinfo/dist/util/
gen-dir-node 93 if [ ! -z "$echoline" ] ; then # echo line
96 echoline=
98 echoline=1
110 if [ -z "$echoline" ] && [ ! -z "$file" ] ; then
fix-info-dir 199 if test ! -z "$echoline"; then # echo line
201 echoline=""
205 echoline="1"

Completed in 31 milliseconds