Fix and improve inter-document linking
Fix clean rule to remove DocBook XML files in doc/