Hi Pádraig, If "texi2html" is out of date, then how do I get HTML? I want to keep my online docs up to date. If there's a better way, I'm for that. I confess I don't closely track stuff so when better ways come around, I need to find out by bumping into something. This is such a bump. It would be convenient if I could just tell the script to "make html" and it figured out how to do that. :) Also, if it cannot (like I didn't have texi2html installed), it should *FAIL* rather than silently creating an empty html file. It took an hour of futzing around to finally figure out that the execution failure of the non- existent texi2html was silently ignored. :(
Thank you! On 06/16/18 20:27, Pádraig Brady wrote: > On 16/06/18 16:14, Bruce Korb wrote: >>> html_split> eval 'env LANG= LC_MESSAGES= LC_ALL= LANGUAGE= texi2html >> --output gnu-pw-mgr.html --split=node --node-files >> --css-ref=/software/gnulib/manual.css -c TOP_NODE_UP_URL=/manual >> "/u/gnu/proj/gnu-pw-mgr-bld/doc/gnu-pw-mgr.texi"' >>>> html_split> env LANG= LC_MESSAGES= LC_ALL= LANGUAGE= texi2html >> --output gnu-pw-mgr.html --split=node --node-files >> --css-ref=/software/gnulib/manual.css -c TOP_NODE_UP_URL=/manual >> /u/gnu/proj/gnu-pw-mgr-bld/doc/gnu-pw-mgr.texi >> Option c is ambiguous (check, conf-dir, css-include, css-ref) >> Try 'texi2html --help' for usage instructions. >> >> >> Using "-conf" seems to work >> >> diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh >> index 9d418b9..3a64a14 100755 >> --- a/build-aux/gendocs.sh >> +++ b/build-aux/gendocs.sh >> @@ -2,7 +2,7 @@ >> # gendocs.sh -- generate a GNU manual in many formats. This script is >> # mentioned in maintain.texi. See the help message below for usage >> details. >> >> -scriptversion=2018-03-06.19 >> +scriptversion=2018-06-16.16 >> >> # Copyright 2003-2018 Free Software Foundation, Inc. >> # >> @@ -58,7 +58,7 @@ EMAIL=webmast...@gnu.org # please override with --email >> commonarg= # passed to all makeinfo/texi2html invcations. >> dirargs= # passed to all tools (-I dir). >> dirs= # -I directories. >> -htmlarg="--css-ref=/software/gnulib/manual.css -c TOP_NODE_UP_URL=/manual" >> +htmlarg="--css-ref=/software/gnulib/manual.css -conf >> TOP_NODE_UP_URL=/manual" >> infoarg=--no-split >> generate_ascii=true >> generate_html=true >> >> > Do you need to use texi2html ? > In any case -conf is not supported by texi2any or makeinfo. > Does the following work for you? > > diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh > index 9d418b9..91c058d 100755 > --- a/build-aux/gendocs.sh > +++ b/build-aux/gendocs.sh > @@ -59,6 +59,7 @@ commonarg= # passed to all makeinfo/texi2html invcations. > dirargs= # passed to all tools (-I dir). > dirs= # -I directories. > htmlarg="--css-ref=/software/gnulib/manual.css -c TOP_NODE_UP_URL=/manual" > +default_htmlarg=true > infoarg=--no-split > generate_ascii=true > generate_html=true > @@ -163,7 +164,7 @@ while test $# -gt 0; do > --common) shift; commonarg=$1;; > --docbook) docbook=yes;; > --email) shift; EMAIL=$1;; > - --html) shift; htmlarg=$1;; > + --html) shift; default_htmlarg=false; htmlarg=$1;; > --info) shift; infoarg=$1;; > --no-ascii) generate_ascii=false;; > --no-html) generate_ascii=false;; > @@ -199,6 +200,11 @@ commonarg=" $dirargs $commonarg" > # For most of the following, the base name is just $PACKAGE > base=$PACKAGE > > +if $default_htmlarg && test -n "$use_texi2html"; then > + # The legacy texi2html doesn't support TOP_NODE_UP_URL > + htmlarg="--css-ref=/software/gnulib/manual.css" > +fi > + > if test -n "$srcfile"; then > # but here, we use the basename of $srcfile > base=`basename "$srcfile"` > > > > . >
