Makefile: add check-docs exception for gitrevisions