From 0fb91ef95b7887eae1a8a7741f3e20e66c2b4998 Mon Sep 17 00:00:00 2001
From: Jorge Araya Navarro <elcorreo@deshackra.com>
Date: Wed, 7 Oct 2015 13:15:28 -0600
Subject: [PATCH] Minor changes

---
 tools/docdump/makedocs.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/docdump/makedocs.py b/tools/docdump/makedocs.py
index 280ce03532f..921b049bd89 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])