fix in doc target of Makefile