GenerateDocs currently fails on Linux

in addition to https://github.com/fsharp/FAKE/pull/177