Searching in rover/doc/tex