diff --git a/doc/file.README.html b/doc/file.README.html index 9d40486..8c39f2b 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]

diff --git a/doc/index.html b/doc/index.html index ef7f7ed..a9de435 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]