diff options
| author | Jorge Araya Navarro <elcorreo@deshackra.com> | 2015-10-07 13:15:28 -0600 |
|---|---|---|
| committer | Jorge Araya Navarro <elcorreo@deshackra.com> | 2015-10-07 13:15:28 -0600 |
| commit | 0fb91ef95b7887eae1a8a7741f3e20e66c2b4998 (patch) | |
| tree | eb271d947d29c403622ed3de05415ced0cb57406 | |
| parent | 68d005760bcfc498aad61719630b7ae21b4f31d8 (diff) | |
Minor changes
| -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]) |