developer-manual: Stop claiming that there are text versions of the manuals
authorFabian Keil <fk@fabiankeil.de>
Tue, 15 Dec 2020 06:43:54 +0000 (07:43 +0100)
committerFabian Keil <fk@fabiankeil.de>
Tue, 15 Dec 2020 07:46:19 +0000 (08:46 +0100)
commit596d3e1ab42e6cc18910d56aac3e689c02cd743a
tree2d87f7d80a27e3f5a2a7bd32542a6012840728d3
parentcb8fe0ca6c21cf4a8a433fc9cc4c6794c5e2b5f8
developer-manual: Stop claiming that there are text versions of the manuals

We stopped building them in 2008 (9ed36a3c5e6f12).
doc/source/developer-manual.sgml