Update the www link to the Doxygen documentation in the dev guide
commit7141c2ede6ec3d874b37e2dcfea4878b3efc5fa1
authorCarsten Kutzner <ckutzne@gwdg.de>
Wed, 2 Oct 2019 14:09:45 +0000 (2 16:09 +0200)
committerMark Abraham <mark.j.abraham@gmail.com>
Wed, 2 Oct 2019 20:46:45 +0000 (2 22:46 +0200)
tree08eaa6718a66579f0caf9ff89c398e2557ea62f5
parent8a6f2c7051c979edaf9fb535d06d2a9fbcda299b
Update the www link to the Doxygen documentation in the dev guide

The doxygen manual seems to have been relocated from
http://www.stack.nl/~dimitri/doxygen/manual/index.html
to http://www.doxygen.nl/manual/

Change-Id: I321072065576c52a104a119abb5e05dc90eece3a
docs/dev-manual/doxygen.rst