[Top][All Lists]

[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:


reply via email to

[Prev in Thread] Current Thread [Next in Thread]