Lines Matching refs:fun
2857 % ctrl is no longer a Texinfo command, but leave this definition for fun.
