Re: PKGBUILD - /usr/local/share/man exists in filesystem (owned by filesystem)

2025-01-25 Thread Benjamin Buske
Sorry, didn't see this was fixed. Never mind. Cheers On viernes, 24 de enero de 2025 2:28:13 p. m. hora de Venezuela Klaus Tachtler wrote: > Hi, > > you're right - I've change to: > > ./configure --prefix=/usr --mandir=/usr/share/man > > Now it works! > > Klaus. > > On 1/24/25 19:21, Dou

Re: PKGBUILD - /usr/local/share/man exists in filesystem (owned by filesystem)

2025-01-25 Thread Benjamin Buske
Hi, If I am not entirely wrong, the reason is because the directory most likely already exists. So maybe try to move the contents into the directory On viernes, 24 de enero de 2025 2:11:50 p. m. hora de Venezuela Klaus Tachtler wrote: > Hi, > > I am encountering a problem with the installatio