Added a man-page.
tree378bd6fa8049174d5f72619d1267fa39d2dcc7d6
-rwxr-xr-x 2595 0compile
-rw-r--r-- 3230 0compile.1
-rw-r--r-- 1115 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 781 bugs.py
-rw-r--r-- 7478 build.py
-rw-r--r-- 1549 copysrc.py
-rw-r--r-- 1329 gui.py
-rw-r--r-- 11781 gui_support.py
-rw-r--r-- 1232 include_deps.py
-rw-r--r-- 1999 publish.py
-rw-r--r-- 5165 setup.py
-rw-r--r-- 7862 support.py
drwxr-xr-x - tests