diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2015-08-10 16:05:12 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2015-08-10 16:05:12 -0400 |
| commit | 0aff68d71faa4938fc28567b0dca1f3413876124 (patch) | |
| tree | 6d760798ea473c4824063145ec1e887e87c5ff3c | |
| parent | 04437bb3e63d39b11cbae5b6cefd549daa76a944 (diff) | |
| download | python-coveragepy-git-0aff68d71faa4938fc28567b0dca1f3413876124.tar.gz | |
Might as well use the Sphinx way to do this.
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index e4efbff7..8b2bb24c 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -206,4 +206,4 @@ prerelease = bool(max(release).isalpha()) def setup(app): app.add_stylesheet('coverage.css') app.add_config_value('prerelease', False, 'env') - print "** Prerelease = %r" % prerelease + app.info("** Prerelease = %r" % prerelease) |