Better-functioning document building; moved Makefile.