[Nix-dev] Re: --infodir and --mandir

[Ludovic Courtès]

Hi!

Peter Simons <simons at cryp.to> 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’.