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 _______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : [email protected] Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp
