From owner-freebsd-ports  Sun Jan 12 09:07:45 1997
Return-Path: <owner-ports>
Received: (from root@localhost)
          by freefall.freebsd.org (8.8.4/8.8.4) id JAA05536
          for ports-outgoing; Sun, 12 Jan 1997 09:07:45 -0800 (PST)
Received: from fallout.campusview.indiana.edu (fallout.campusview.indiana.edu [149.159.1.1])
          by freefall.freebsd.org (8.8.4/8.8.4) with ESMTP id JAA05531
          for <ports@freebsd.org>; Sun, 12 Jan 1997 09:07:43 -0800 (PST)
Received: from localhost (jfieber@localhost)
          by fallout.campusview.indiana.edu (8.8.4/8.8.4) with SMTP
	  id MAA00552; Sun, 12 Jan 1997 12:07:27 -0500 (EST)
Date: Sun, 12 Jan 1997 12:07:27 -0500 (EST)
From: John Fieber <jfieber@indiana.edu>
To: Josh MacDonald <jmacd@cs.berkeley.edu>
cc: Satoshi Asami <asami@cs.berkeley.edu>, jmz@cabri.obs-besancon.fr,
        ports@freebsd.org
Subject: Re: html files [Re: texinfo changes ready] 
In-Reply-To: <199701120822.AAA12246@paris.CS.Berkeley.EDU>
Message-ID: <Pine.BSI.3.95.970112120045.260B-100000@fallout.campusview.indiana.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-ports@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

On Sun, 12 Jan 1997, Josh MacDonald wrote:

> difficult (I don't know HTML well enough to say for sure, but you
> probably wouldn't have to accept the entire language to accomplish
> what you guys are after).

You just have to find the title start and end tags (<title> and
</title> or </>, or <title/ and /), and suck up everything in
between. There is only one valid place for such tags to occur in
an HTML file and its presence is manditory, so you don't have
to worry about things like getting the wrong one.

-john