The problem is that the manual pages won't be regenerated if docbook is not available, thus the values of the system where `make dist` was called will be used. We don't have docbook defined as a build dependency, so the safest bet would probably be to just add it and hence to make sure the documentation will always match the build's paths...