140
154
option(USE_ZEITGEIST "Zeitgeist history integration" ON)
141
155
option(USE_GRANITE "Fancy notebook and pop-overs" OFF)
142
156
option(USE_APIDOCS "API documentation" OFF)
144
159
# GTK+3 is implied here, whether set or not
145
160
if (USE_GRANITE OR HALF_BRO_INCOM_WEBKIT2)