Fix Makefile for manual
Add upload of manual versions to update_doc script