octave-jordi/gnulib-hg: build-aux/gendocs.sh annotate

annotate build-aux/gendocs.sh @ 6956:beedd5d51056

Add gendocs, from texinfo.

author	Simon Josefsson <simon@josefsson.org>
date	Wed, 12 Jul 2006 07:27:31 +0000
parents
children	bd3477a87e6e

rev	line source
6956 beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	1 #!/bin/sh
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	2 # gendocs.sh -- generate a GNU manual in many formats. This script is
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	3 # mentioned in maintain.texi. See the help message below for usage details.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	4 # $Id: gendocs.sh,v 1.1 2006-07-12 07:27:31 jas Exp $
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	5 #
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	6 # Copyright (C) 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	7 #
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	8 # This program is free software; you can redistribute it and/or modify
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	9 # it under the terms of the GNU General Public License as published by
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	10 # the Free Software Foundation; either version 2, or (at your option)
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	11 # any later version.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	12 #
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	13 # This program is distributed in the hope that it will be useful,
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	16 # GNU General Public License for more details.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	17 #
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	18 # You should have received a copy of the GNU General Public License
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	19 # along with this program; if not, you can either send email to this
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	20 # program's maintainer or write to: The Free Software Foundation,
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	21 # Inc.; 51 Franklin Street, Fifth Floor; Boston, MA 02110-1301, USA.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	22 #
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	23 # Original author: Mohit Agarwal.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	24 # Send bug reports and any other correspondence to bug-texinfo@gnu.org.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	25
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	26 prog=`basename "$0"`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	27 srcdir=`pwd`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	28
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	29 scripturl="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/texinfo/texinfo/util/gendocs.sh"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	30 templateurl="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/texinfo/texinfo/util/gendocs_template"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	31
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	32 : ${MAKEINFO="makeinfo"}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	33 : ${TEXI2DVI="texi2dvi -t @finalout"}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	34 : ${DVIPS="dvips"}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	35 : ${DOCBOOK2TXT="docbook2txt"}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	36 : ${DOCBOOK2HTML="docbook2html"}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	37 : ${DOCBOOK2PDF="docbook2pdf"}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	38 : ${DOCBOOK2PS="docbook2ps"}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	39 : ${GENDOCS_TEMPLATE_DIR="."}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	40 unset CDPATH
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	41
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	42 rcs_revision='$Revision: 1.1 $'
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	43 rcs_version=`set - $rcs_revision; echo $2`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	44 program=`echo "$0" \| sed -e 's!.*/!!'`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	45 version="gendocs.sh $rcs_version
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	46
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	47 Copyright (C) 2006 Free Software Foundation, Inc.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	48 There is NO warranty. You may redistribute this software
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	49 under the terms of the GNU General Public License.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	50 For more information about these matters, see the files named COPYING."
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	51
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	52 usage="Usage: $prog [OPTION]... PACKAGE MANUAL-TITLE
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	53
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	54 Generate various output formats from PACKAGE.texinfo (or .texi or .txi) source.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	55 See the GNU Maintainers document for a more extensive discussion:
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	56 http://www.gnu.org/prep/maintain_toc.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	57
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	58 Options:
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	59 -o OUTDIR write files into OUTDIR, instead of manual/.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	60 --docbook convert to DocBook too (xml, txt, html, pdf and ps).
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	61 --html ARG pass indicated ARG to makeinfo for HTML targets.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	62 --help display this help and exit successfully.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	63 --version display version information and exit successfully.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	64
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	65 Simple example: $prog emacs \"GNU Emacs Manual\"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	66
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	67 Typical sequence:
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	68 cd YOURPACKAGESOURCE/doc
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	69 wget \"$scripturl\"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	70 wget \"$templateurl\"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	71 $prog YOURMANUAL \"GNU YOURMANUAL - One-line description\"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	72
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	73 Output will be in a new subdirectory \"manual\" (by default, use -o OUTDIR
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	74 to override). Move all the new files into your web CVS tree, as
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	75 explained in the Web Pages node of maintain.texi.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	76
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	77 MANUAL-TITLE is included as part of the HTML <title> of the overall
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	78 manual/index.html file. It should include the name of the package being
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	79 documented. manual/index.html is created by substitution from the file
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	80 $GENDOCS_TEMPLATE_DIR/gendocs_template. (Feel free to modify the
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	81 generic template for your own purposes.)
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	82
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	83 If you have several manuals, you'll need to run this script several
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	84 times with different YOURMANUAL values, specifying a different output
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	85 directory with -o each time. Then write (by hand) an overall index.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	86 with links to them all.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	87
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	88 You can set the environment variables MAKEINFO, TEXI2DVI, and DVIPS to
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	89 control the programs that get executed, and GENDOCS_TEMPLATE_DIR to
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	90 control where the gendocs_template file is looked for.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	91
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	92 Email bug reports or enhancement requests to bug-texinfo@gnu.org.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	93 "
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	94
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	95 calcsize()
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	96 {
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	97 size=`ls -ksl $1 \| awk '{print $1}'`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	98 echo $size
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	99 }
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	100
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	101 outdir=manual
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	102 html=
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	103 PACKAGE=
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	104 MANUAL_TITLE=
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	105
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	106 while test $# -gt 0; do
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	107 case $1 in
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	108 --help) echo "$usage"; exit 0;;
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	109 --version) echo "$version"; exit 0;;
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	110 -o) shift; outdir=$1;;
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	111 --docbook) docbook=yes;;
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	112 --html) shift; html=$1;;
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	113 -*)
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	114 echo "$0: Unknown or ambiguous option \`$1'." >&2
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	115 echo "$0: Try \`--help' for more information." >&2
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	116 exit 1;;
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	117 *)
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	118 if test -z "$PACKAGE"; then
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	119 PACKAGE=$1
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	120 elif test -z "$MANUAL_TITLE"; then
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	121 MANUAL_TITLE=$1
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	122 else
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	123 echo "$0: extra non-option argument \`$1'." >&2
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	124 exit 1
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	125 fi;;
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	126 esac
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	127 shift
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	128 done
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	129
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	130 if test -s "$srcdir/$PACKAGE.texinfo"; then
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	131 srcfile=$srcdir/$PACKAGE.texinfo
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	132 elif test -s "$srcdir/$PACKAGE.texi"; then
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	133 srcfile=$srcdir/$PACKAGE.texi
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	134 elif test -s "$srcdir/$PACKAGE.txi"; then
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	135 srcfile=$srcdir/$PACKAGE.txi
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	136 else
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	137 echo "$0: cannot find .texinfo or .texi or .txi for $PACKAGE in $srcdir." >&2
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	138 exit 1
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	139 fi
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	140
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	141 if test ! -r $GENDOCS_TEMPLATE_DIR/gendocs_template; then
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	142 echo "$0: cannot read $GENDOCS_TEMPLATE_DIR/gendocs_template." >&2
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	143 echo "$0: it is available from $templateurl." >&2
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	144 exit 1
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	145 fi
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	146
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	147 echo Generating output formats for $srcfile
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	148
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	149 cmd="${MAKEINFO} -o $PACKAGE.info \"$srcfile\""
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	150 echo "Generating info files... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	151 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	152 mkdir -p $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	153 tar czf $outdir/$PACKAGE.info.tar.gz $PACKAGE.info*
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	154 info_tgz_size=`calcsize $outdir/$PACKAGE.info.tar.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	155 # do not mv the info files, there's no point in having them available
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	156 # separately on the web.
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	157
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	158 cmd="${TEXI2DVI} \"$srcfile\""
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	159 echo "Generating dvi ... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	160 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	161
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	162 # now, before we compress dvi:
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	163 echo Generating postscript...
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	164 ${DVIPS} $PACKAGE -o
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	165 gzip -f -9 $PACKAGE.ps
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	166 ps_gz_size=`calcsize $PACKAGE.ps.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	167 mv $PACKAGE.ps.gz $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	168
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	169 # compress/finish dvi:
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	170 gzip -f -9 $PACKAGE.dvi
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	171 dvi_gz_size=`calcsize $PACKAGE.dvi.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	172 mv $PACKAGE.dvi.gz $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	173
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	174 cmd="${TEXI2DVI} --pdf \"$srcfile\""
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	175 echo "Generating pdf ... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	176 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	177 pdf_size=`calcsize $PACKAGE.pdf`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	178 mv $PACKAGE.pdf $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	179
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	180 cmd="${MAKEINFO} -o $PACKAGE.txt --no-split --no-headers \"$srcfile\""
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	181 echo "Generating ASCII... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	182 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	183 ascii_size=`calcsize $PACKAGE.txt`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	184 gzip -f -9 -c $PACKAGE.txt >$outdir/$PACKAGE.txt.gz
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	185 ascii_gz_size=`calcsize $outdir/$PACKAGE.txt.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	186 mv $PACKAGE.txt $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	187
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	188 cmd="${MAKEINFO} --no-split --html -o $PACKAGE.html $html \"$srcfile\""
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	189 echo "Generating monolithic html... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	190 rm -rf $PACKAGE.html # in case a directory is left over
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	191 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	192 html_mono_size=`calcsize $PACKAGE.html`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	193 gzip -f -9 -c $PACKAGE.html >$outdir/$PACKAGE.html.gz
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	194 html_mono_gz_size=`calcsize $outdir/$PACKAGE.html.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	195 mv $PACKAGE.html $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	196
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	197 cmd="${MAKEINFO} --html -o $PACKAGE.html $html \"$srcfile\""
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	198 echo "Generating html by node... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	199 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	200 split_html_dir=$PACKAGE.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	201 (
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	202 cd ${split_html_dir} \|\| exit 1
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	203 tar -czf ../$outdir/${PACKAGE}.html_node.tar.gz -- *.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	204 )
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	205 html_node_tgz_size=`calcsize $outdir/${PACKAGE}.html_node.tar.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	206 rm -f $outdir/html_node/*.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	207 mkdir -p $outdir/html_node/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	208 mv ${split_html_dir}/*.html $outdir/html_node/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	209 rmdir ${split_html_dir}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	210
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	211 echo Making .tar.gz for sources...
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	212 srcfiles=`ls .texinfo .texi .txi .eps 2>/dev/null`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	213 tar cvzfh $outdir/$PACKAGE.texi.tar.gz $srcfiles
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	214 texi_tgz_size=`calcsize $outdir/$PACKAGE.texi.tar.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	215
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	216 if test -n "$docbook"; then
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	217 cmd="${MAKEINFO} -o - --docbook \"$srcfile\" > ${srcdir}/$PACKAGE-db.xml"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	218 echo "Generating docbook XML... $(cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	219 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	220 docbook_xml_size=`calcsize $PACKAGE-db.xml`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	221 gzip -f -9 -c $PACKAGE-db.xml >$outdir/$PACKAGE-db.xml.gz
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	222 docbook_xml_gz_size=`calcsize $outdir/$PACKAGE-db.xml.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	223 mv $PACKAGE-db.xml $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	224
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	225 cmd="${DOCBOOK2HTML} -o $split_html_db_dir ${outdir}/$PACKAGE-db.xml"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	226 echo "Generating docbook HTML... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	227 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	228 split_html_db_dir=html_node_db
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	229 (
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	230 cd ${split_html_db_dir} \|\| exit 1
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	231 tar -czf ../$outdir/${PACKAGE}.html_node_db.tar.gz -- *.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	232 )
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	233 html_node_db_tgz_size=`calcsize $outdir/${PACKAGE}.html_node_db.tar.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	234 rm -f $outdir/html_node_db/*.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	235 mkdir -p $outdir/html_node_db
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	236 mv ${split_html_db_dir}/*.html $outdir/html_node_db/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	237 rmdir ${split_html_db_dir}
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	238
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	239 cmd="${DOCBOOK2TXT} ${outdir}/$PACKAGE-db.xml"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	240 echo "Generating docbook ASCII... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	241 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	242 docbook_ascii_size=`calcsize $PACKAGE-db.txt`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	243 mv $PACKAGE-db.txt $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	244
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	245 cmd="${DOCBOOK2PS} ${outdir}/$PACKAGE-db.xml"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	246 echo "Generating docbook PS... $(cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	247 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	248 gzip -f -9 -c $PACKAGE-db.ps >$outdir/$PACKAGE-db.ps.gz
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	249 docbook_ps_gz_size=`calcsize $outdir/$PACKAGE-db.ps.gz`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	250 mv $PACKAGE-db.ps $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	251
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	252 cmd="${DOCBOOK2PDF} ${outdir}/$PACKAGE-db.xml"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	253 echo "Generating docbook PDF... ($cmd)"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	254 eval "$cmd"
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	255 docbook_pdf_size=`calcsize $PACKAGE-db.pdf`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	256 mv $PACKAGE-db.pdf $outdir/
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	257 fi
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	258
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	259 echo Writing index file...
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	260 curdate=`date '+%B %d, %Y'`
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	261 sed \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	262 -e "s!%%TITLE%%!$MANUAL_TITLE!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	263 -e "s!%%DATE%%!$curdate!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	264 -e "s!%%PACKAGE%%!$PACKAGE!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	265 -e "s!%%HTML_MONO_SIZE%%!$html_mono_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	266 -e "s!%%HTML_MONO_GZ_SIZE%%!$html_mono_gz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	267 -e "s!%%HTML_NODE_TGZ_SIZE%%!$html_node_tgz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	268 -e "s!%%INFO_TGZ_SIZE%%!$info_tgz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	269 -e "s!%%DVI_GZ_SIZE%%!$dvi_gz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	270 -e "s!%%PDF_SIZE%%!$pdf_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	271 -e "s!%%PS_GZ_SIZE%%!$ps_gz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	272 -e "s!%%ASCII_SIZE%%!$ascii_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	273 -e "s!%%ASCII_GZ_SIZE%%!$ascii_gz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	274 -e "s!%%TEXI_TGZ_SIZE%%!$texi_tgz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	275 -e "s!%%DOCBOOK_HTML_NODE_TGZ_SIZE%%!$html_node_db_tgz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	276 -e "s!%%DOCBOOK_ASCII_SIZE%%!$docbook_ascii_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	277 -e "s!%%DOCBOOK_PS_GZ_SIZE%%!$docbook_ps_gz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	278 -e "s!%%DOCBOOK_PDF_SIZE%%!$docbook_pdf_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	279 -e "s!%%DOCBOOK_XML_SIZE%%!$docbook_xml_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	280 -e "s!%%DOCBOOK_XML_GZ_SIZE%%!$docbook_xml_gz_size!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	281 -e "s,%%SCRIPTURL%%,$scripturl,g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	282 -e "s!%%SCRIPTNAME%%!$prog!g" \
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	283 $GENDOCS_TEMPLATE_DIR/gendocs_template >$outdir/index.html
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	284
beedd5d51056 Add gendocs, from texinfo. Simon Josefsson <simon@josefsson.org> parents: diff changeset	285 echo "Done! See $outdir/ subdirectory for new files."

Mercurial > hg > octave-jordi > gnulib-hg

annotate build-aux/gendocs.sh @ 6956:beedd5d51056