Debugged config/*.h file building.
-rw-r--r-- 1124 bottom.php
-rw-r--r-- 5740 build.php
-rw-r--r-- 1034 customize-flags.php
-rw-r--r-- 1541 directions.php
drwxr-xr-x - doc
-rw-r--r-- 7037 flag-table.php
-rw-r--r-- 744 globals.php
-rw-r--r-- 607 index.php
-rw-r--r-- 433 top.php
-rw-r--r-- 11519 utils.php