The manuals shouldn't be installed in the top-level directory, but in one of the sub-directories corresponding to the relevant section. Fallout from 0a972dfccc
0a972dfccc
https://github.com/debarshiray/toolbox/pull/45
https://github.com/debarshiray/toolbox/pull/66