# This handles man pages in DocBook XML format. We convert to the respective
# output in the source directory then copy over to the final dest. This
# This handles man pages in DocBook XML format. We convert to the respective
# output in the source directory then copy over to the final dest. This