new script that update from mercurial, make the doc, and upload the result to tuxfamily.org
new script that update from mercurial, make the doc, and upload the result
to tuxfamily.org

cjntaylor/eigen,pthulhu/eigen,pthulhu/eigen,cjntaylor/eigen,pthulhu/eigen,cjntaylor/eigen,pthulhu/eigen,pthulhu/eigen,cjntaylor/eigen