From owner-freebsd-ports Sat Jan 11 08:18:35 1997 Return-Path: Received: (from root@localhost) by freefall.freebsd.org (8.8.4/8.8.4) id IAA22458 for ports-outgoing; Sat, 11 Jan 1997 08:18:35 -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 IAA22453 for ; Sat, 11 Jan 1997 08:18:32 -0800 (PST) Received: from localhost (jfieber@localhost) by fallout.campusview.indiana.edu (8.8.4/8.8.4) with SMTP id LAA03873; Sat, 11 Jan 1997 11:18:25 -0500 (EST) Date: Sat, 11 Jan 1997 11:18:25 -0500 (EST) From: John Fieber To: Satoshi Asami cc: jmz@cabri.obs-besancon.fr, ports@FreeBSD.ORG Subject: Re: html files [Re: texinfo changes ready] In-Reply-To: <199701111119.DAA19574@baloon.mimi.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-ports@FreeBSD.ORG X-Loop: FreeBSD.org Precedence: bulk On Sat, 11 Jan 1997, Satoshi Asami wrote: > * I agree, but would lobby for /usr/local/share/doc/html rather > * than /usr/local/share/html. > > Yeah, that's probably better. > > By the way, the subdirectory should be package name minus version > number, just like /usr/local/share/doc. Actually, after thinking about it a bit, I'm going to disagree with my suggestion and suggest /usr/local/share/doc, omitting the html level because modern web browser are pretty adept at handling other file types as well, so why not put them all together? Building the /usr/local/share/doc/index.html is a simple matter of scanning subdirectories for index.html files and extracting their titles. For subdirectories without index.html files, just use the package name. If each entry is one one line, link removal upon package remvoal is a trivial sed operation. Local documentation -john