TEXFIND(1) - Linux manual page online | User commands

Graphical tool to search for text in TeX input files.