Re^2: End of Documentation Discussion

To: Marco.Budde@hqsys.antar.com (Marco Budde)
Cc: debian-devel@lists.debian.org
Subject: Re^2: End of Documentation Discussion
From: Yann Dirson <dwitch@bylbo.debian.novare.net>
Date: Mon, 30 Jun 1997 21:56:58 +0200
Message-id: <[🔎] 199706301956.VAA00959@bylbo.nowhere.earth>
Reply-to: Yann Dirson <dirson@univ-mlv.fr>
In-reply-to: <[🔎] a0d_9706282300@antares.antar.com>
References: <[🔎] a0d_9706282300@antares.antar.com>

Marco Budde writes:
 > CS> > Would not texi-html or html-texi be a better name?
 > CS> What do the others think about this?
 > 
 > I would vote for /usr/doc/<package>/html.

I disagree: this would make impossible for info-fans (of which I'm not
:) to exclude only HTML doc when it's available in info.

-- 
Yann Dirson <dirson@univ-mlv.fr>
http://monge.univ-mlv.fr/~dirson


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .

Reply to:

References:
- Re^2: End of Documentation Discussion
  - From: Marco.Budde@hqsys.antar.com (Marco Budde)

Prev by Date: Re: dselect/new dist format
Next by Date: Re: Proposal: /etc /usr/etc /usr/local/etc
Previous by thread: Re^2: End of Documentation Discussion
Next by thread: Re^2: End of Documentation Discussion
Index(es):
- Date
- Thread