blob: 3a621d4909ec94ea2a1262768f0f15bac57b5e5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
fix from upstream
http://bugs.gentoo.org/198545
--- texinfo/makeinfo/cmds.c 2007/09/26 20:53:39 1.76
+++ texinfo/makeinfo/cmds.c 2007/10/13 23:44:34 1.77
@@ -1631,10 +1631,14 @@
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);
|