GenerateDocs currently fails on Linux