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
_______________________________________________
bug-lilypond mailing list
bug-lilypond@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-lilypond
