Andrew Lewman
define doxygen as a tag, move short user manual to the manual section, add the doxygen link.
Andrew Lewman commited 0abe3aa4a at 2011-10-27 18:12:08