mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-11-14 18:33:55 +01:00
Initial devel branch import from bash-3.0-alpha
This commit is contained in:
1 parent
7117c2d221
commit
d3a24ed242
261 files changed
+24280
-6327
No files matched your search
@@ -56,13 +56,13 @@ FindSectionsInIndex ()
|
||||
fi
|
||||
done
|
||||
[ -z "$indexes" ] && return
|
||||
# Make egrep give filename
|
||||
# Make grep give filename
|
||||
[ NIndex -lt 2 ] && indexes="$indexes /dev/null"
|
||||
# set positional parameters to
|
||||
# indexfile:searchname pagename section ...
|
||||
# e.g.
|
||||
# /usr/man/index:FP_OFF Routines DOS
|
||||
set -- `egrep "^$page[ ]" $indexes`
|
||||
set -- `grep "^$page[ ]" $indexes`
|
||||
while [ $# -gt 2 ]; do
|
||||
FileNames[i]=${1%%index*}cat$3/$2.$3
|
||||
Sections[i]=$3
|
||||
|
||||
Reference in new issue
Block a user