I hope with that we've caught everything (and that things are going
to remain stable for a while now).
Commmitted.
Gerald
2019-08-04 Gerald Pfeifer <ger...@pfeifer.com>
* doc/xml/manual/documentation_hacking.xml: doxygen.org is now
doxygen.nl.
Index: doc/xml/manual/documentation_hacking.xml
===================================================================
--- doc/xml/manual/documentation_hacking.xml (revision 274087)
+++ doc/xml/manual/documentation_hacking.xml (working copy)
@@ -261,7 +261,7 @@
<para>
Prerequisite tools are Bash 2.0 or later,
- <link xmlns:xlink="http://www.w3.org/1999/xlink";
xlink:href="http://www.doxygen.org";>Doxygen</link>, and
+ <link xmlns:xlink="http://www.w3.org/1999/xlink";
xlink:href="http://www.doxygen.nl";>Doxygen</link>, and
the <link xmlns:xlink="http://www.w3.org/1999/xlink";
xlink:href="http://www.gnu.org/software/coreutils/";>GNU
coreutils</link>. (GNU versions of find, xargs, and possibly
sed and grep are used, just because the GNU versions make
