Fixed makefile error while cleaning docs/