wrong direntries from makeinfo 4.11

[Norbert Preining]

Hi Karl,

you remember
http://lists.gnu.org/archive/html/bug-texinfo/2007-10/msg00020.html
where the
        This is foobar, produced by ...
ended up in the START-INFO-DIR-ENTRY?

With 4.11 PLUS your patch from the above it is still happening, minimal
not working texi file I could generate:

\input texinfo
@setfilename untitled.info

@direntry
* aaaa: (aaaa).               aaa bbbb.
@end direntry

@bye


generates output:
START-INFO-DIR-ENTRY
This is foo.info, produced by makeinfo version 4.11 from foo.texi.

* aaaa: (aaaa).               aaa bbbb.
END-INFO-DIR-ENTRY


Which is bad. The problem is that your fix is only done in cmds.c, but
not for cm_direntry (in the begin_insertion function) in insertion.c.

Could you comment on the following fix I tried. It does in fact generate
the right dir entry code in the output file, but may have other
consequences I do not forsee. Here is that diff:
--- texinfo-4.11.dfsg.1.orig/makeinfo/insertion.c       2007-12-19 
16:19:35.000000000 +0100
+++ texinfo-4.11.dfsg.1/makeinfo/insertion.c    2007-12-19 16:19:41.000000000 
+0100
@@ -488,7 +488,7 @@
       close_single_paragraph ();
       filling_enabled = no_indent = 0;
       inhibit_paragraph_indentation = 1;
-      insert_string ("START-INFO-DIR-ENTRY\n");
+      add_word ("START-INFO-DIR-ENTRY\n");
       break;
 
     case documentdescription:

Thanks a lot

Norbert

-------------------------------------------------------------------------------
Dr. Norbert Preining <address@hidden>        Vienna University of Technology
Debian Developer <address@hidden>                         Debian TeX Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
-------------------------------------------------------------------------------
LUBCROY (n.)
The telltale little lump in the top of your swimming trunks which
tells you you are going to have to spend half an hour with a safety
pin trying to pull the drawstring out again.
                        --- Douglas Adams, The Meaning of Liff