if info.class~="global" then
fprintf(h, "\\index{%s@%s!", texfriendly(info.class),
texfriendly_typeormod(info.class));
fprintf(h, "%s@\\code{%s}}\n", texfriendly(fn), fn)
end
fprintf(h, "\\index{%s@\\code{%s}}\n", texfriendly(fn), fn)
if info.class~="global" then
fprintf(h, "\\index{%s@%s!", texfriendly(info.class),
texfriendly_typeormod(info.class));
fprintf(h, "%s@\\code{%s}}\n", texfriendly(fn), fn)
end
fprintf(h, "\\index{%s@\\code{%s}}\n", texfriendly(fn), fn)