OpenGrok
Home
Sort by:
relevance
|
last modified time
|
path
Full Search
in project(s):
src
xsrc
Definition
Symbol
File Path
History
|
|
Help
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
Indexes created Thu Apr 23 00:23:13 UTC 2026