Improved "make manual" and "make clean"
More Makefile cleanups