[Gretl-devel] installing the docs from a git compile

Hi, by looking at the Makefile I've just learned that I need to do (on Linux) "sudo make install-doc" in addition to a plain "sudo make install" if I want to have the current git version of the user guide available from within gretl (also compiled from current git). Otherwise -at least for me- gretl either loads the outdated local copies of the pdf doc files from a previous install, or it downloads the (also slightly outdated) copies from the server. This step isn't mentioned in the guide I think (Appendix C: Building gretl). Is my solution the correct one (then I think it should be mentioned in the guide), or should it be done differently? thanks, sven