diff options
| -rw-r--r-- | Src/mkmodindex.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Src/mkmodindex.sh b/Src/mkmodindex.sh index 1f0b8e3bd..878c51d96 100644 --- a/Src/mkmodindex.sh +++ b/Src/mkmodindex.sh @@ -8,7 +8,7 @@ echo "# module index generated by mkmodindex.sh" echo -omit_modules="`echo $OMIT_MODULES | sed 's/,/ /'`" +omit_modules="`echo $OMIT_MODULES | sed 's/,/ /g'`" module_list=' ' while test $# -ne 0; do |