diff --git a/doc/toc.html b/doc/toc.html index 4ef79bd10..8f0261dc7 100644 --- a/doc/toc.html +++ b/doc/toc.html @@ -1,50 +1,38 @@ -