Merge branch 'HEAD' of dwarfgit@dwarfstd.org:dwarf-doc.git
[dwarf-doc.git] / dwarf5 / tools / printstandard.py
index c7e376a..d208cf8 100644 (file)
@@ -5,6 +5,8 @@
 # Try    
 #           python printstandard.py *.tex  |sort|uniq
 
+# Useful in case certain random typos creep in to the .tex
+
 import sys
 import fileio