check-docs: get documented command list from Makefile