Commit 10e3cb9246ab3d288af4effe484f4d8beb2243d6

Behdad Esfahbod 2019-05-31T22:56:37

[docs] Fix dist