The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/0.0/static/docguide-toolsets.html
Description:
In J.2.3 Debian Packages
"docbook" and "dbtopub" missed in install command.
make world works after above to package installed.