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