Code

Makefile: update check-docs target