Re: GNU configure magic prepending instead of replacing --mandir?

[Hauke Fath <hf%spg.tu-darmstadt.de@localhost>]

On Thu, 29 Jun 2023 17:23:08 +0100, Jonathan Perkin wrote:
> That build uses PKGMANDIR=share/man, yes, in particular so that 
> packages with such issues are exposed and can be fixed.

Ah, okay.

> PKGMANDIR has been a thing we've supported since at least 2005, 
> originally to help with systems that used pkgsrc as the primary 
> package manager and bootstrapped to /usr.

Fine. But looking through the PLIST files

[hauke@pizza] /<1>sources/pkgsrc > find /misc/pkgsrc/ -name PLIST\* 
-exec fgrep -H PKGMANDIR \{\} + | wc -l
      52
[hauke@pizza] /<1>sources/pkgsrc > 

most packages hard-code the man path. Unless there is hidden magic that 
replaces the PLIST path?

Cheerio,
Hauke

-- 
     The ASCII Ribbon Campaign                    Hauke Fath
()     No HTML/RTF in email            Institut für Nachrichtentechnik
/\     No Word docs in email                     TU Darmstadt
     Respect for open standards              Ruf +49-6151-16-21344