#434 add documentation section to devel doc

[Thomas Naughton]

I realized that \detailed{} and \quick{} were actually
used for
the generation of documentation for OSCAR. It's
probably worth
a section in the devel doc (since we have one on web
maint.) to have one on doing doc maint w/ LaTeX.

The available macros \cmd{}, \file{}, etc. should
probably be listed here too.

[Bernard Li]

Logged In: YES
user_id=879102

Want to have a guide in how to write document in latex so
that the docs are formatted in a consistent manner.