On 03/08/13 10:20, Martin von Gagern wrote: > Seems makeinfo does not support a --split argument.
It does, in Texinfo 5.0. But you're right that gnulib gendocs.sh shouldn't assume Texinfo 5. Karl should know what to do. Karl, the original report is here: http://lists.gnu.org/archive/html/bug-gnulib/2013-03/msg00023.html
