Don't move docs/manual/ to docs/docbook/manual; retain folder structure for correct http url reference.