diff --git a/doc/index.html b/doc/index.html index 1a6df809..1ff29559 100644 --- a/doc/index.html +++ b/doc/index.html @@ -26,6 +26,7 @@
This documentation is also available in PDF format.