config_query_option GTKMM2_OPTS "Build the documentation?" y \
                                "--enable-documentation" \
                                "--disable-documentation"
