packed_object_info(): convert to new revindex API
[git] / generate-configlist.sh
1 #!/bin/sh
2
3 echo "/* Automatically generated by generate-configlist.sh */"
4 echo
5
6 print_config_list () {
7         cat <<EOF
8 static const char *config_name_list[] = {
9 EOF
10         grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt Documentation/config/*.txt |
11         sed '/deprecated/d; s/::$//; s/,  */\n/g' |
12         sort |
13         sed 's/^.*$/    "&",/'
14         cat <<EOF
15         NULL,
16 };
17 EOF
18 }
19
20 echo
21 print_config_list