diff --git a/docs/index.html b/docs/index.html index 1c4c81743..5d73fd2aa 100755 --- a/docs/index.html +++ b/docs/index.html @@ -27,45 +27,50 @@
  • introduction
  • building
  • using