diff --git a/docs/manual/index.html b/docs/manual/index.html index 0015ed4..053e1cf 100644 --- a/docs/manual/index.html +++ b/docs/manual/index.html @@ -20,4 +20,13 @@ } +