Remove duplicate entry for Doxygen from dev manual
commit53fc2705b8d2fee0eeba7264bbe6acf76a5f28c2
authorPaul Bauer <paul.bauer.q@gmail.com>
Mon, 6 Aug 2018 07:45:06 +0000 (6 09:45 +0200)
committerMark Abraham <mark.j.abraham@gmail.com>
Tue, 7 Aug 2018 13:17:41 +0000 (7 15:17 +0200)
treea4eb66407668c040f7f2613e2c04694f99430005
parentcdbc0e9c9049470f337294a7057a64b0ee791c96
Remove duplicate entry for Doxygen from dev manual

The page for doxygen was added twice to the developer manual, as it was
included both in the style guidelines and under development tools.
Removed the entry in the style section, as I think that the information
is better situated in the tools section.

Change-Id: Ie8f802b6981e7fdb53d04002e05563f092bc8047
docs/dev-manual/style.rst