Updated publishing instructions to use 0publish --local
treebf7b623d779b864e9009e072f49aaf90556cb3aa
-rwxr-xr-x 2595 0compile
-rw-r--r-- 3230 0compile.1
-rw-r--r-- 1590 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 781 bugs.py
-rw-r--r-- 7521 build.py
-rw-r--r-- 1549 copysrc.py
-rw-r--r-- 1329 gui.py
-rw-r--r-- 12059 gui_support.py
-rw-r--r-- 1232 include_deps.py
-rw-r--r-- 2065 publish.py
-rw-r--r-- 3642 setup.py
-rw-r--r-- 7207 support.py
drwxr-xr-x - tests