make doc more explicit about failing test;
fixed Makefile targets push_doc and tags