On Tue, Jul 13, 1999 at 11:02:13AM +0200, Jean-Marc Lasgouttes wrote:
>
> Can't wget do that for you?
Um, what's wget?
> The short title could be 'lists archives' instead of 'mailing
> lists'. Maybe Devvies should be replaced with Devel, since it is the
> name of the list.
That sounds believable. How about "Mail Archives"? That's not so great but
I'm not so fond of "List Archives" either. Either way, I agree it's better
than Mailing Lists. And Mailing List Archives is just too long.
> Amir> I agree that the foo.lyx.org mirrors should be listed. (a) I
> Amir> don't know them. (b) do we make another navbar section with the
> Amir> mirrors, or just have a mirrors page?
>
> Amir> Also, since the phtml won't work, what do we do about feedback?
>
> It could just be implemented as a mailto: url.
I guess. But that wouldn't be nearly as Kool.
> Amir> Is the navbar getting too big? We've got 9 things in the navbar,
> Amir> lgt would make 10, mirrors 11. Do we want to perhaps break
> Amir> things down into About, Download, Main? Then have a separate
> Amir> submenu for each, s.t. the navbar shows the main menu, the
> Amir> submenu that makes sense in that context, plus the mailing list
> Amir> archives & configuration thing? Or is that too complicated.
>
> It could be nice.
You heard him, Asger. Go ahead!
-Amir
