eigen_gen_docs: dont try to update permissions on server
eigen_gen_docs: dont try to update permissions on server

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