Added NO_DOCS option to makefile