Update doc and update_docs targets in Makefile