Commit dc7f9c8dd0bd310374c296a67b2b2b84dc059689

Werner Lemberg 2000-08-27T07:12:40

Formatting. docmaker.py will now run with older Python versions also. Small fix.