developer-manual: Note that the 'webserver' target creates the link needed for the...
authorFabian Keil <fk@fabiankeil.de>
Tue, 15 Dec 2020 06:39:53 +0000 (07:39 +0100)
committerFabian Keil <fk@fabiankeil.de>
Tue, 15 Dec 2020 07:46:19 +0000 (08:46 +0100)
commitcb8fe0ca6c21cf4a8a433fc9cc4c6794c5e2b5f8
treea1b4ec25a44cf7f4834c124964c5b8f94b6174c6
parente7bedf5f2879b7870a5298c1a23d9bd455d33188
developer-manual: Note that the 'webserver' target creates the link needed for the user-manual
doc/source/developer-manual.sgml