Merge branch 'js/test-git-installed'

diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh
index fa1e5475e87c746ec0d74f5b1606264d9a3a76dc..709d67405bba65f0b1d5468fe58a92fa41c30398 100755 (executable)
--- a/generate-cmdlist.sh
+++ b/generate-cmdlist.sh
@@ -80,7 +80,7 @@ print_config_list () {
        cat <<EOF
 static const char *config_name_list[] = {
 EOF
-       grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt |
+       grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt Documentation/config/*.txt |
        sed '/deprecated/d; s/::$//; s/,  */\n/g' |
        sort |
        while read line