b4n left a comment (geany/geany-plugins#1578) Yeah… the reason was not to require the tools needed for building the documentation if the user does not actually want to work on it, but it has the side effect you see. I might change this indeed, if it's more annoyance than convenience.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/issues/1578#issuecomment-4756939451 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/issues/1578/[email protected]>
