diff options
| -rw-r--r-- | tools/docdump/makedocs.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/docdump/makedocs.py b/tools/docdump/makedocs.py index 280ce03532..921b049bd8 100644 --- a/tools/docdump/makedocs.py +++ b/tools/docdump/makedocs.py @@ -84,7 +84,6 @@ elif not path.isdir(args.outputdir): _ = gettext.gettext if args.language != "none": - logging.info("Language changed to: " + args.language) lang = gettext.translation(domain="makedocs", localedir="locales", languages=[args.language]) |