[Gretl-devel] Re: problem with "make pdfdocs" on git
Am 21.11.2021 um 23:31 schrieb Allin Cottrell:
On Sun, 21 Nov 2021, Sven Schreiber wrote:
> Indeed, a little bit to my surprise it worked to delete that and
then do
> "git restore doc/tex/*", followed by the configure script and so on.
If you had to use "git restore" that suggests that you're doing your
build inside the git source tree. That's not recommended, though it's
not actually banned yet. Better to build outside the source tree.
Yeah, I know ;-)
I just checked and Appendix section B.4 of the guide doesn't seem to
explain how to actually perform the build outside of the source tree. I
know there will be a million search hits on the internet for this
question, but one or two sentences there might be nice.
thanks
sven