[Pkg-doc-linux-devel] Linux-FAQ and Debian bug#119942

[Frank Lichtenheld]

On Mon, Sep 15, 2003 at 07:35:13AM -0600, doug jensen wrote:
> On Mon, Sep 15, 2003 at 12:06:40AM +0200, Frank Lichtenheld wrote:
> > As long noone says that the SuperH-Port is officially dead I would
> > include it.
> 
> I removed SuperH. Even the unofficial site doesn't show any activity since
> October 2002.  Also, http://lists.debian.org/debian-superh-0204/msg00010.html,
> seemed to have caused a little activity, which has faded now.  Frank, if you
> still object, I'm willing to listen.

No, go ahead

> > > Change:
> > >        Connect using anonymous FTP to ftp.debian.org and cd to the 
> > >     pub/debian/dists/stable/main/disks-i386/current/ subdirectory.
> > > To:
> > >        Connect using http://ftp.debian.org/ and cd to the
> > >     dists/stable/main/disks-i386/current/ subdirectory.  Anonymous
> > >     FTP is available from ftp://ftp.debian.org/debian if you prefer.
> > 
> > "cd'ing" in relation with http sounds weird in my ears. Simply write
> > the full URL.
> 
> Yes, it sounded weird to me too.  However, there is an instructional
> README in the top directory, I hope the user is curious enough to read
> it.  So, is change was made:
> 
>        Connect to http://ftp.debian.org/ then follow the links, to the
>     dists/stable/main/disks-i386/current/ subdirectory.  Anonymous FTP
>     is available from ftp://ftp.debian.org/debian if you prefer.
> 
> > > Change:
> > >   ftp://ftp.debian.org/ 
> > > To:
> > >   http://ftp.debian.org/ or ftp://ftp.debian.org
> > 
> > I don't understand the "or ..." part. Is this a change? 
> 
> This change was made:
>   http://ftp.debian.org/ or if you prefer, ftp://ftp.debian.org/   

Ohh, I didn't parsed you statement right. I read
'change it to "http://ftp.debian.org", or if you prefer, to
"ftp://ftp.debian.org"' while you meant
'change it to "http://ftp.debian.org, or if you prefer,
ftp://ftp.debian.org"'. 

So never mind :)

Gruesse,
-- 
Frank Lichtenheld <frank@lichtenheld.de>
www: http://www.djpig.de/