--- texinfo-4.11/makeinfo/cmds.c_old 2007-07-15 19:36:19.000000000 +0200 +++ texinfo-4.11/makeinfo/cmds.c 2007-12-10 15:11:04.000000000 +0100 @@ -1637,11 +1637,16 @@ if (!no_headers && !html) { + /* use add_* instead of insert_* because otherwise the + file header ("This is ...") will end up inside the + dir section markers. */ kill_self_indent (-1); /* make sure there's no indentation */ - insert_string ("INFO-DIR-SECTION "); - insert_string (line); - insert ('\n'); - } + cm_noindent (); /* make sure again */ + add_word ("INFO-DIR-SECTION "); + add_word (line); + add_char ('\n'); + + } free (line); }