Include the man page in the `All documentation should be rebuilt:` instructions
authorLee <ler762@users.sourceforge.net>
Sun, 16 Dec 2018 23:58:16 +0000 (18:58 -0500)
committerLee <ler762@users.sourceforge.net>
Sun, 16 Dec 2018 23:58:16 +0000 (18:58 -0500)
commitca2d80ce585a60bf1944e7540002f0157e4dd7dc
tree06ae7358d12a07d27c7801915ae86decf0a7a107
parentf675be2622bad183871c73c75ce1212403cb06f5
Include the man page in the `All documentation should be rebuilt:` instructions
doc/source/developer-manual.sgml