Merge branch 'HEAD' of dwarfgit@dwarfstd.org:dwarf-doc.git
[dwarf-doc.git] / dwarf5 / tools / copyfile.py
index 0fa36c3..9b2fcf2 100644 (file)
@@ -10,7 +10,6 @@ def read_args():
   cur = 1
   filelist = []
   while  len(sys.argv) > cur:
-    print "argv[",cur,"] = ", sys.argv[cur]
     v = sys.argv[cur]
     filelist += [v]
     cur = int(cur) + 1