New comment by abenson on void-packages repository

https://github.com/void-linux/void-packages/pull/27776#issuecomment-757048432

Comment:
robtk's makefile is 
`robtk.mk`.