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
Hi!
Generating the manual for my project (wdiff) fails:
Generating html by node... (env LANG= LC_MESSAGES= LC_ALL= LANGUAGE=
makeinfo --html -o wdiff.html --split=node "…/doc/wdiff.texi")
makeinfo: --split-size arg must be numeric, not `node'.
Try `makeinfo --help' for more information.
make:
