Reenable documentation building
    
    Latest release has not correctly formatted manual pages. Correct it by
    rebuilding every manual page during the build, not only those modified
    by a patch.
    
    Fixed oot build of documentation. Because docbook does not work well
    with out of tree builds, copy all sources required for documentation
    into build directory. Should regenerate all manual pages, also html and
    PDF formatted ARM.