Re: makeinfo segfault + patch

[Karl Berry]

    btw. %4d makes always "4 characters" wide while previously it was
    the same number of chars as number of digits. Slightly different
    behaviour so

Yeah, I noticed.

-      sprintf (s, "%d", numbers[0]);
+      snprintf (s, sizeof(s), "%d", numbers[0]);

I thought that using snprintf would open up a vast new array of
portability issues / gnulib modules, but I see now that install-info
uses snprintf.  I'm surprised it is portable enough.

Anyway, we want to retire the C implementation of makeinfo, so I think
I'll just not worry about this.

Thanks,
Karl