tree 4e5dceed6d9b839b909cafb68f2d6ecf9d53ce86
parent cb662632d8deeeac0839366461889f060435f5d0
author Damien Martin-Guillerez <dmarting@google.com> 1503347353 +0200
committer Damien Martin-Guillerez <dmarting@google.com> 1503351427 +0200

Fix the name of the folder to publish the website

Fixes #123.

Change-Id: I3ebd0dc37dbd7a5f1ebc2a88e5ac048ff50415d3