Closed
Description
on current HEAD (f3a6a8d)
after bazel clean --expunge; bash update_doc.sh:
$ git diff --stat
docs/index.html | 130 +---------------------------------------------------------------------------------------------------------------------------------
docs/index.md | 111 ---------------------------------------------------------------------------------------------------------------
docs/main.css | 4 +---
3 files changed, 2 insertions(+), 243 deletions(-)