<p>Just to make it clear: you don't need to build the HTML from geany.txt for this PR. Just modify the doc/geany.txt file.<br>
However, if you want to build it to test your changes or so, just run <code>make -C doc geany.html</code> in the top source directory of Geany. Ideally, do not include the modified geany.html into this PR.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/geany/geany/pull/858#issuecomment-170252834">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ07-j6Fg2nTJx79W3Po4YSjiftrHks5pYSJ9gaJpZM4HBDxA.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/858#issuecomment-170252834"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>