fenics team mailing list archive

[Harish Narayanan <harish.mlists@xxxxxxxxx>]

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/.

Harish