<p><a href="https://github.com/b4n" class="user-mention">@b4n</a> Is it the case that if the user has the required deps, the GIR stuff will be built, if not, it will fail gracefully? If so, that seems OK, as long as the user can put <code>--disable-introspection</code> to disable the GIR stuff even if they have the deps. (Sorry if I'm misunderstanding the problem still).</p>

<p>On a related matter, since the GTK-DOC/GIR/codegen contraption requires Doxygen, should <code>--disable-introspection</code> be implied if Doxygen isn't found or if <code>--disable-api-docs</code> is passed (if that's not currently the case in this PR)?</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/1112#issuecomment-232519444">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe/ABDrJ5FjTITjcD7LDkDJz4ZrbvyhHK74ks5qVXmPgaJpZM4JD5zE">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ9kBJkYVqGNr2TinjbrwgV31oXcRks5qVXmPgaJpZM4JD5zE.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1112#issuecomment-232519444"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>