admin/admin.el: Add some code for deploying web manuals.