texinfo/util gendocs.sh,1.2,1.3

[karl]

Update of /cvsroot/texinfo/texinfo/util
In directory sheep:/tmp/cvs-serv28229

Modified Files:
        gendocs.sh 
Log Message:
--html

Index: gendocs.sh
===================================================================
RCS file: /cvsroot/texinfo/texinfo/util/gendocs.sh,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** gendocs.sh  12 Dec 2003 15:24:02 -0000      1.2
--- gendocs.sh  14 Jan 2004 16:54:25 -0000      1.3
***************
*** 4,8 ****
  # $Id$
  # 
! # Copyright (C) 2003 Free Software Foundation, Inc.
  #
  # This program is free software; you can redistribute it and/or modify
--- 4,8 ----
  # $Id$
  # 
! # Copyright (C) 2003, 2004 Free Software Foundation, Inc.
  #
  # This program is free software; you can redistribute it and/or modify
***************
*** 59,62 ****
--- 59,63 ----
    -o OUTDIR   write files into OUTDIR, instead of manual/.
    --docbook   convert to DocBook too (xml, txt, html, pdf and ps).
+   --html ARG  pass indicated ARG to makeinfo for HTML targets.
    --help      display this help and exit successfully.
    --version   display version information and exit successfully.
***************
*** 99,102 ****
--- 100,104 ----
  
  outdir=manual
+ html=
  PACKAGE=
  MANUAL_TITLE=
***************
*** 108,111 ****
--- 110,114 ----
      -o) shift; outdir=$1;;
      --docbook) docbook=yes;;
+     --html) shift; html=$1;;
      -*)
        echo "$0: Unknown or ambiguous option \`$1'." >&2
***************
*** 181,185 ****
  echo Generating monolithic html...
  rm -rf $PACKAGE.html  # in case a directory is left over
! ${MAKEINFO} --no-split --html $srcfile
  html_mono_size="`calcsize $PACKAGE.html`"
  gzip -f -9 -c $PACKAGE.html >$outdir/$PACKAGE.html.gz
--- 184,188 ----
  echo Generating monolithic html...
  rm -rf $PACKAGE.html  # in case a directory is left over
! ${MAKEINFO} --no-split --html $html $srcfile
  html_mono_size="`calcsize $PACKAGE.html`"
  gzip -f -9 -c $PACKAGE.html >$outdir/$PACKAGE.html.gz
***************
*** 188,192 ****
  
  echo Generating html by node...
! ${MAKEINFO} --html $srcfile
  if test -d $PACKAGE; then
    split_html_dir=$PACKAGE
--- 191,195 ----
  
  echo Generating html by node...
! ${MAKEINFO} --html $html $srcfile
  if test -d $PACKAGE; then
    split_html_dir=$PACKAGE