Merge branch 'js/test-git-installed'

diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh
index c4124acbe7802369ff64c12b48a513437c929a20..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 '^[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