*** makeinfo.c~	Sun May 23 01:29:46 1993
--- makeinfo.c	Fri Sep  1 20:44:24 1995
***************
*** 638,643 ****
--- 638,644 ----
    { "ifinfo", cm_ifinfo, NO_BRACE_ARGS },
    { "ifset", cm_ifset, NO_BRACE_ARGS },
    { "iftex", command_name_condition, NO_BRACE_ARGS },
+   { "ifhtml", command_name_condition, NO_BRACE_ARGS },
    { "ignore", command_name_condition, NO_BRACE_ARGS },
    { "include", cm_include, NO_BRACE_ARGS },
    { "inforef", cm_inforef, BRACE_ARGS },