fenics team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Fri, Jul 08, 2011 at 10:24:16PM +0200, Harish Narayanan wrote:
> On 7/8/11 8:11 PM, Anders Logg wrote:
> > I changed these to fpo/doc etc for ease of access. We have pub/ so I
> > thought it natural to also have doc/ and dev/
> >
> > Which is better? doc/ or documentation/?
>
> I don't know about "better," but I prefer the longer, descriptive
> titles. For example, I like how the following sound:
>
> http://fenicsproject.org/documentation/tutorial/
> http://fenicsproject.org/contributing/
>
> as opposed to,
>
> http://fenicsproject.org/doc/tutorial/
> http://fenicsproject.org/dev/
>
> respectively. Firstly, because they are clearer. Secondly, there might
> be other ways to contribute that can't be encompassed in /dev/.

How about some Apache aliases so one can type /doc and end up at
/documentation?

--
Anders