hide default page config option when no page defined
-rw-r--r-- 10 .gitignore
drwxr-xr-x - CONTROL
-rw-r--r-- 422 ChangeLog
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 829 README.rst
-rwxr-xr-x 565 build.sh
drwxr-xr-x - meta
drwxr-xr-x - po
drwxr-xr-x - src