[Top][All Lists]

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


--- 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"

reply via email to

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