main - Revision 11599: /gpstools/trunk/doc