Lines Matching refs:setfilename
1009 % This is done with @novalidate (before @setfilename).
1014 % @setfilename is done at the beginning of every texinfo file.
1017 \def\setfilename{%
1023 \global\let\setfilename=\comment % Ignore extra @setfilename cmds.
1036 % Called from \setfilename.
4171 % We open the .toc file for writing here instead of at @setfilename (or
6350 % @setfilename. If done too late, it may not override everything
6655 % So turn them off again, and have \everyjob (or @setfilename) turn them on.
