diff --git a/Doc/tools/support.py b/Doc/tools/support.py
index 448abee3952..86ecc6c81fb 100644
--- a/Doc/tools/support.py
+++ b/Doc/tools/support.py
@@ -1,4 +1,8 @@
-"""
+"""Miscellaneous support code shared by some of the tool scripts.
+
+This includes option parsing code, HTML formatting code, and a couple of
+useful helpers.
+
 """
 __version__ = '$Revision$'