<p>Yeah I don't know why I don't have them here either, maybe it depends on the Doxygen version?</p>

<p>Anyway, LGBI, but shouldn't we rather ignore the same list we remove (IIRC I added that because Doxygen dropped a fair bunch of files, not only 1), i.e. <code>/doc/doxygen_*</code>?  It should be safe to ignore with a wildcard -- safer than cleaning with one.</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/1111#issuecomment-230153266">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe/ABDrJ4KBNwlRu0t1BxZs30fVXhwK7l2vks5qR7eYgaJpZM4JD1gu">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJyW563Pq9tcVQTwnSAkXrcH3E4t4ks5qR7eYgaJpZM4JD1gu.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/1111#issuecomment-230153266"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>