get rid of the docs Makefile and make.bat; add a "make doc" to the toplevel Makefile