New review comment by fosslinux on void-packages repository

https://github.com/void-linux/void-packages/pull/23582#discussion_r454893930

Comment:
No, the makefile does not have a "default" target. Standard makefile behavior is for the default target to be `all`, it might just be a quirk of GNU make that it happens to run install. I also don't understand the `install: lainsafe` since there is no lainsafe target. Anyway, no, you should not add a new void-specific target. Those command are specific to xbps-src and will not work in your Makefile.

You have two options:

1. Bypass the makefile and use the vbin and vman commands directly in do_install.
2. Fix the Makefile so that it respects $DESTDIR and $PREFIX.