diff options
author | Tanaka Akira <akr@users.sourceforge.net> | 2000-02-14 00:19:18 +0000 |
---|---|---|
committer | Tanaka Akira <akr@users.sourceforge.net> | 2000-02-14 00:19:18 +0000 |
commit | 33457202ce09232486a4456bc90a07d19ed5537a (patch) | |
tree | ffa7b16788faebb6dda3845e7a3393746fada27c /Src/mkmodindex.sh | |
parent | 6751b5398a282cf00e88ff1548267b5190ba0ef7 (diff) | |
download | zsh-33457202ce09232486a4456bc90a07d19ed5537a.tar.gz zsh-33457202ce09232486a4456bc90a07d19ed5537a.tar.xz zsh-33457202ce09232486a4456bc90a07d19ed5537a.zip |
zsh-workers/9701
Diffstat (limited to 'Src/mkmodindex.sh')
-rw-r--r-- | Src/mkmodindex.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Src/mkmodindex.sh b/Src/mkmodindex.sh index 75a7e43bc..1f0b8e3bd 100644 --- a/Src/mkmodindex.sh +++ b/Src/mkmodindex.sh @@ -8,6 +8,8 @@ echo "# module index generated by mkmodindex.sh" echo +omit_modules="`echo $OMIT_MODULES | sed 's/,/ /'`" + module_list=' ' while test $# -ne 0; do dir=$1 @@ -27,6 +29,11 @@ while test $# -ne 0; do echo >&2 " (ignoring duplicate)" continue ;; esac + case " $omit_modules " in *" $name "*) + echo >&2 "Module \`$name' found in \$OMIT_MODULES" + echo >&2 " (omitting it)" + continue + ;; esac module_list="$module_list$name " echo "modfile_$q_name=$modfile" eval "modfile_$q_name=\$modfile" |