RE: index.html missing from repo master branch -- regen upon merges ?

I also noticed that this was missing after pulling master.  I assumed that it's what's deployed at http://w3c.github.io/webauthn/ when working on my reviews.  But if we could also populate it at https://github.com/w3c/webauthn - that would be good.

                                                          -- Mike

From: Hodges, Jeff [mailto:jeff.hodges@paypal.com]
Sent: Thursday, April 7, 2016 2:26 PM
To: W3C WebAuthn WG <public-webauthn@w3.org>
Subject: index.html missing from repo master branch -- regen upon merges ?

Hubert & I notice that index.html missing from the github.com/w3c/webauthn repo master branch.

index.html is the "formatted" output gen'd by bikeshed.  if you have bikeshed installed, running  make in your repo clone directory will generate it. (ie, see the Makefile)

perhaps we should figure out a way that auto-generates index.html upon merges to master such that index.html tracks the current state of the post-merge(s) spec?

=JeffH