make.py documentation corrections.
Also upload archive to server.