Hi!
Peter Simons <[email protected]> writes:
> > 1. How do we like the default values of mandir and infodir, which are
> > ${prefix}/share/{info,man}?
> >
> > I’m fine with them, and our default $INFOPATH makes the standalone
> > info reader happy.
>
> You realize that I changed the expressions to put --infodir and --mandir
> into exactly those locations, right? Prior to that, those directories
> had been located at $out/{info,man}, which is annoying, IMHO.
Oooh, right, my bad. Sorry for the confusion.
(How come their ‘configure’ script uses the “wrong” locations?)
Thanks,
Ludo’.
_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
