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.
However, if you want to build it to test your changes or so, just run make -C doc geany.html in the top source directory of Geany. Ideally, do not include the modified geany.html into this PR.

—
Reply to this email directly or view it on GitHub.