Searched refs:setfilename (Results 1 – 4 of 4) sorted by relevance
146 static void setfilename(char *);1372 setfilename(char *capfile) in setfilename() function1452 setfilename(filename); in use_file()
1108 % This is done with @novalidate (before @setfilename).1113 % @setfilename is done at the beginning of every texinfo file.1116 \def\setfilename{%1124 \let\setfilename=\comment % Ignore extra @setfilename cmds.1135 % Called from \setfilename.4468 % We open the .toc file for writing here instead of at @setfilename (or6698 % @setfilename. If done too late, it may not override everything6993 % So turn them off again, and have \everyjob (or @setfilename) turn them on.
4 @setfilename multiboot.info
4 @setfilename grub.info