diff options
Diffstat (limited to 'pavement.py')
| -rw-r--r-- | pavement.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pavement.py b/pavement.py index d02cc48c5..015e802ef 100644 --- a/pavement.py +++ b/pavement.py @@ -495,7 +495,7 @@ def dmg(options): user = os.path.join(options.doc.destdir_pdf, "userguide.pdf") if (not os.path.exists(ref)) or (not os.path.exists(user)): import warnings - warnings.warn("Docs need to be built first! Can't find them.") + warnings.warn("Docs need to be built first! Can't find them.", stacklevel=2) # Build the mpkg package call_task("clean") |