Right, thanks for the report. I just made this change (in Texinfo) and
propagated it to gnulib. Let me know if it still fails.
karl
--- gendocs.sh (revision 5220)
+++ gendocs.sh (working copy)
@@ -339,7 +340,16 @@
mv $PACKAGE.html "$outdir/"
ls -l "$outdir/$PACKAGE.html" "$outdir/$PACKA
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-g
