diff --git a/doc/index.html b/doc/index.html index ceb8f20..8040415 100644 --- a/doc/index.html +++ b/doc/index.html @@ -123,7 +123,7 @@ The up-to-date development version is available from the public repository: