in news:3D04D6E0.FC51D3E2@gmx.de Christoph Hormann wrote:

> How about:
> 
> grep -r '\^' *.html

That was my first try too, but it finds stuff like:
doc_3_1.html: +I'my file.pov'
doc_3_1.html: Input_File='my file.pov'

Ingo

Post a reply to this message