[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] gendocs.sh support for makeinfo --html parameters

From: Simon Josefsson
Subject: [PATCH] gendocs.sh support for makeinfo --html parameters
Date: Sun, 11 Jan 2004 07:23:25 +0100
User-agent: Gnus/5.110002 (No Gnus v0.2) Emacs/21.3.50 (gnu/linux)

For --css-include, --number-sections etc.  (Or add new '@htmlcss file'
and '@htmlnumbersections'?)

--- gendocs.sh.~1.2.~   2003-12-12 16:24:02.000000000 +0100
+++ gendocs.sh  2004-01-11 07:19:49.000000000 +0100
@@ -3,7 +3,7 @@
 #   mentioned in maintain.texi.  See the help message below for usage details.
 # $Id: gendocs.sh,v 1.2 2003/12/12 15:24:02 karl Exp $
-# Copyright (C) 2003 Free Software Foundation, Inc.
+# Copyright (C) 2003, 2004 Free Software Foundation, Inc.
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -58,6 +58,7 @@
   -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.
@@ -98,6 +99,7 @@
@@ -107,6 +109,7 @@
     --version) echo "$version"; exit 0;;
     -o) shift; outdir=$1;;
     --docbook) docbook=yes;;
+    --html) shift; html=$1;;
       echo "$0: Unknown or ambiguous option \`$1'." >&2
       echo "$0: Try \`--help' for more information." >&2
@@ -180,14 +183,14 @@
 echo Generating monolithic html...
 rm -rf $PACKAGE.html  # in case a directory is left over
-${MAKEINFO} --no-split --html $srcfile
+${MAKEINFO} --no-split --html $html $srcfile
 html_mono_size="`calcsize $PACKAGE.html`"
 gzip -f -9 -c $PACKAGE.html >$outdir/$PACKAGE.html.gz
 html_mono_gz_size="`calcsize $outdir/$PACKAGE.html.gz`"
 mv $PACKAGE.html $outdir/
 echo Generating html by node...
-${MAKEINFO} --html $srcfile
+${MAKEINFO} --html $html $srcfile
 if test -d $PACKAGE; then
 elif test -d $PACKAGE.html; then

reply via email to

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