Translated docs hacking: remove debug print

diff --git a/scripts/build/extract_texi_filenames.py b/scripts/build/extract_texi_filenames.py
index bf0c6da5edc1ab91e3a24674ca6019342f26754b..36adb50ea215946209e7734f2fe8f080115d105a 100644 (file)
--- a/scripts/build/extract_texi_filenames.py
+++ b/scripts/build/extract_texi_filenames.py
@@ -201,7 +201,6 @@ def process_sections (filename, lang_suffix, page):
             if this_title in initial_map:
                 del initial_map[this_title]
         elif sec[0] == "translationof":
-            print sec
             (original_node, external_node) = external_node_re.subn ('', sec[1])
             original_node = remove_texinfo (original_node)
             # The following binds the translator to use the