diff --git a/doc/file.README.html b/doc/file.README.html index c6a2d51..c9ec4e9 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]

@@ -78,7 +78,7 @@

All dependencies must be included in the catalogue.

Deployment

diff --git a/doc/index.html b/doc/index.html index 2a6d8d8..21df270 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]

@@ -78,7 +78,7 @@

All dependencies must be included in the catalogue.

Deployment