developer-manual: Recommend the dok-tidy target when building docs for the webserver
authorFabian Keil <fk@fabiankeil.de>
Sun, 13 Dec 2020 18:35:26 +0000 (19:35 +0100)
committerFabian Keil <fk@fabiankeil.de>
Mon, 14 Dec 2020 07:49:17 +0000 (08:49 +0100)
commite1d5a39606e3e5c73b5691b27d36ce7804060237
tree662fc2ad0740b15d52a14a551d6988f13b0a3faf
parent08f3b18a3cb223cad6e3925ba1021206fd59d37e
developer-manual: Recommend the dok-tidy target when building docs for the webserver
doc/source/developer-manual.sgml