diff --git a/doc/file.README.html b/doc/file.README.html index 81383f7..cc4dbaa 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -140,7 +140,7 @@

All dependencies must be included in the catalogue.

diff --git a/doc/index.html b/doc/index.html index a67e77d..befaa6d 100644 --- a/doc/index.html +++ b/doc/index.html @@ -140,7 +140,7 @@

All dependencies must be included in the catalogue.