[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gendocs.sh passing --split=node to makeinfo
From: |
Karl Berry |
Subject: |
Re: gendocs.sh passing --split=node to makeinfo |
Date: |
Fri, 8 Mar 2013 23:24:33 GMT |
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/$PACKAGE.html.gz"
- opt="--html -o $PACKAGE.html --split=$split $commonarg $htmlarg"
+ # Before Texinfo 5.0, makeinfo did not accept a --split=HOW option,
+ # it just always split by node. So if we're splitting by node anyway,
+ # leave it out.
+ if test "x$split" = xnode; then
+ split_arg=
+ else
+ split_arg=--split=$split
+ fi
+ #
+ opt="--html -o $PACKAGE.html $split_arg $commonarg $htmlarg"
cmd="$SETLANG $MAKEINFO $opt \"$srcfile\""
printf "\nGenerating html by $split... ($cmd)\n"
eval "$cmd"