Subject: debiandoc change of name?

From: Lars Wirzenius <[email-masked]>
Date: Tue, 16 Jul 1996 12:32:32 +0300

I've just noticed that there is a package called doc-debian, which provides
/usr/doc/debian and /usr/info/debian-faq.info.gz.  The name is similar to
debiandoc, my package for viewing docs via WWW.  I guess I should rename
debiandoc to avoid confusion.  Since debiandoc is so new, this shouldn't
be too much of a problem.

Any suggestions for a better name?

---

From: Chris Fearnley <[email-masked]>
Date: Wed, 17 Jul 1996 15:21:15 -0400 (EDT)

'Lars Wirzenius wrote:'
>
>--==_Exmh_-968299140P
>Content-Type: text/plain; charset=us-ascii
>

How about docview?

-- 
Christopher J. Fearnley            |    Linux/Internet Consulting
[email-masked], [email-masked]       |    UNIX SIG Leader at PACS
http://www.netaxs.com/~cjf         |    (Philadelphia Area Computer Society)
ftp://ftp.netaxs.com/people/cjf    |    Design Science Revolutionary
"Dare to be Naive" -- Bucky Fuller |    Explorer in Universe