generate-configlist.sh

   1 #!/bin/sh
   2
   3 SOURCE_DIR="$1"
   4 OUTPUT="$2"
   5
   6 if test -z "$SOURCE_DIR" || ! test -d "$SOURCE_DIR" || test -z "$OUTPUT"
   7 then
   8         echo >&2 "USAGE: $0 <SOURCE_DIR> <OUTPUT>"
   9         exit 1
  10 fi
  11
  12 print_config_list () {
  13         cat <<EOF
  14 static const char *config_name_list[] = {
  15 EOF
  16         sed -e '
  17         /^`*[a-zA-Z].*\..*`*::$/ {
  18         /deprecated/d;
  19         s/::$//;
  20         s/`//g;
  21         s/^.*$/ "&",/;
  22         p;};
  23         d' \
  24             "$SOURCE_DIR"/Documentation/*config.adoc \
  25             "$SOURCE_DIR"/Documentation/config/*.adoc |
  26         sort
  27         cat <<EOF
  28         NULL,
  29 };
  30 EOF
  31 }
  32
  33 {
  34         echo "/* Automatically generated by generate-configlist.sh */"
  35         echo
  36         echo
  37         print_config_list
  38 } >"$OUTPUT"