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: https://github.com/geany/geany/pull/858#issuecomment-170252834