<blockquote>
<p>I don't think anyone else is using the gtkdoc header or .gir yet.</p>
</blockquote>

<p>BTW, if we provide GIR, do we need continuing distributing gtkdoc headers?  Seems redundant to me, ain't it?</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-230476356">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe/ABDrJ5AupeO--RZqE0Ieeem-h6-xYCjPks5qSlqTgaJpZM4JD5zE">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJw0ua53iB32wfM-otar9AAIRVpbNks5qSlqTgaJpZM4JD5zE.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-230476356"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>