![](https://secure.gravatar.com/avatar/04cfbd1c38bcc2b54ab30e598516cfbc.jpg?s=120&d=mm&r=g)
6 Jun
2009
6 Jun
'09
1:30 p.m.
Thanks! I need to update my grep-the-context-source script to search .mki[iv] files, not only .tex files. -Sanjoy `Until lions have their historians, tales of the hunt shall always glorify the hunters.' --African Proverb