Merge branch 'HEAD' of dwarfgit@dwarfstd.org:dwarf-doc.git
[dwarf-doc.git] / dwarf5 / tools / printstandard.py
index 3e5620e..d208cf8 100644 (file)
@@ -5,10 +5,12 @@
 # Try    
 #           python printstandard.py *.tex  |sort|uniq
 
+# Useful in case certain random typos creep in to the .tex
+
 import sys
 import fileio
 
-def transfunc(linetoks):
+def transfunc(linetoks,myfile,linenum):
   if len(linetoks) < 1:
     return linetoks
   tnumin = 0