BUG: Always build manual pages