Summary of changes: a81cd0b... Remove build options that configure no longer recognizes (*) 86e2410... Install developer docs in -doc and mark it as noarch (#8089 (*) (*) This commit already existed in another branch; no separate mail sent