some doc fixes and publish script fixes
darcs-hash:20090825173013-ac9f3-58ba00af1a84d36cab6cffad0aa2704691f4efe1.gz
parent
0857b778
Please register or sign in to comment
darcs-hash:20090825173013-ac9f3-58ba00af1a84d36cab6cffad0aa2704691f4efe1.gz