New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/43666#discussion_r1210680464 Comment: The makefile doesn't seem to respect $DESTDIR which means do_install would put it to the masterdir and not destdir, but the part about not having to use the second argument is correct