Add option to docload.py to make it run quietly
authorMagnus Hagander <magnus@hagander.net>
Tue, 22 Nov 2011 20:09:12 +0000 (21:09 +0100)
committerMagnus Hagander <magnus@hagander.net>
Tue, 22 Nov 2011 20:09:12 +0000 (21:09 +0100)
commitbcce9e0aee71a67c4ec2ef0ecda3754defac3055
treef68e28f630f4d51d6e675224e8169bc7a5cab59f
parent7e9742c678a20e98193d10238da20314ea2a0753
Add option to docload.py to make it run quietly

Using commandline --quiet. To do this, switch to using the standard
python optionparser for commandline parsing.
tools/docs/docload.py