diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/tools/support.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/tools/support.py b/Doc/tools/support.py index 448abee..86ecc6c 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$' |