DWARF Git Projects
/
dwarf-doc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3b5a136
)
tools/README: Added another quick check that finds
author
David Anderson
<davea42@earthlink.net>
Sun, 23 Feb 2014 17:31:32 +0000
(09:31 -0800)
committer
David Anderson
<davea42@earthlink.net>
Sun, 23 Feb 2014 17:31:32 +0000
(09:31 -0800)
typos in indexing.
dwarf5/tools/README
patch
|
blob
|
history
diff --git
a/dwarf5/tools/README
b/dwarf5/tools/README
index
112f667
..
efc62bd
100644
(file)
--- a/
dwarf5/tools/README
+++ b/
dwarf5/tools/README
@@
-34,6
+34,13
@@
is not very powerful. But it seems potentially useful.
# Look for 2 words repeated in a 4-word window
python repeats.py 4 2 junk4.txt
+A quick check on indexing lets one find
+ \addtoindex{foo!bar}
+when
+ \addtoindexx{foo!bar}
+is likely meant:
+ grep '!' *tex |grep -v toindexx
+
CAUTION: