New mandocs, and the patch to make it work

So, I’ve regenerated the mandocs output for the Linux kernel, and put it online. In the process, I had to tweak the sources to get the documentation targets to build again.