[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gendocs.sh passing --split=node to makeinfo
|
From: |
Paul Eggert |
|
Subject: |
Re: gendocs.sh passing --split=node to makeinfo |
|
Date: |
Fri, 08 Mar 2013 11:36:52 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130219 Thunderbird/17.0.3 |
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