Detect when DocBook files are manual pages (for HTML output)