This commit is for docbook and Makefile.in. I assume the
doc generation will create and add the generated html and roff files.
I purposely don't include in ARM generation since it doesn't
include "development" functions.