The GUI's Publish button now works.
tree581136f8e70d4757289f88e17fc9db3090eed89c
-rwxr-xr-x 2575 0compile
-rw-r--r-- 1116 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 5894 build.py
-rw-r--r-- 1499 copysrc.py
-rw-r--r-- 1329 gui.py
-rw-r--r-- 10501 gui_support.py
-rw-r--r-- 1477 publish.py
-rw-r--r-- 5074 setup.py
-rw-r--r-- 7638 support.py
drwxr-xr-x - tests