#! /bin/sh # html2txt.sh - A program to convert fetchmail's HTML documentation to text # Copyright (C) 2004 Matthias Andree # 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 # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA # -------------------------------------------------------------------------- # Usage: html2txt.sh INPUT.html # -------------------------------------------------------------------------- # Abort on error set -e # Parse arguments if [ $# -ne 1 ] ; then echo >&2 "Usage: `basename $0 || echo $0` input.html" exit 1 fi # Pull in variables inp="$1" tmp="html2txt.$$.html" # now preprocess trap "rm -f \"$tmp\"" 0 1 2 3 15 ${AWK:=awk} '/