Tweak the mkDocs script
authorIan Lynagh <ian@well-typed.com>
Tue, 29 Jan 2013 14:26:30 +0000 (14:26 +0000)
committerIan Lynagh <ian@well-typed.com>
Tue, 29 Jan 2013 16:00:12 +0000 (16:00 +0000)
commitba47b1db268176b8223e2a6a1bf4daa2877dd053
tree6d427dd1a7d6faf6fefa102f4aa62d09b4027744
parent12e3d3f4690d76b57ca70cdfdbad049fabd79bde
Tweak the mkDocs script
distrib/mkDocs/mkDocs [changed mode: 0644->0755]