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.