Re: make install or make install-doc or make install-info touches in-tree files

[James]

Hello

On 17/10/2021 21:45, David Kastrup wrote:
> If I do
>
> make && make doc && make info
>
> followed by
>
> sudo make install && sudo make install-doc && sudo make install-info
>
> I am left with files in the tree that are not owned by myself.
>
> To wit:
>
> find ! -user dak
>
> gives me
>
> ./out/offline-root
> ./out/offline-root/AUTHORS.txt
> ./out/offline-root/NEWS.txt
> ./out/offline-root/ROADMAP
> ./out/offline-root/DEDICATION
> ./out/offline-root/HACKING
> ./out/offline-root/README.md
...
> ./Documentation/out/topdocs/NEWS.texi
> ./Documentation/out/topdocs/AUTHORS.txt
> ./Documentation/out/topdocs/NEWS.txt
> ./Documentation/out/topdocs/NEWS.makeinfotxt.log
> ./Documentation/out/topdocs/INSTALL.txt
> ./Documentation/out/topdocs/INSTALL.texi
> ./Documentation/out/topdocs/INSTALL.makeinfotxt.log
> ./Documentation/out/topdocs/AUTHORS.texi
>
>
> Since it is sort of a nuisance to get rid of files you don't own, it
> would be good if make install-* did not create any files in-tree when
> the respective make * commands have already been run.
>
> After all, it is one of the most common use cases to run make install-*
> as a different user.

https://gitlab.com/lilypond/lilypond/-/issues/6199

Thanks


James

--
Regards

James