(lexer.ignore): Ignore @file and @TeX.

doc/checkargs.py

@@ -380,6 +380,8 @@ class lexer:
     toplevel_badspell = ignore
     toplevel_holl = ignore
     toplevel_daemon = ignore
+    toplevel_file = ignore
+    toplevel_TeX = ignore
 
     def toplevel_node(self, arg, line_no):
         if self.__findex != None: