diff --git a/doc/file.README.html b/doc/file.README.html index 26cf94b..e77d639 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,7 +60,7 @@

Readme

-

+

Synopsis

diff --git a/doc/index.html b/doc/index.html index 1295510..768b6e3 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,7 +60,7 @@

Readme

-

+

Synopsis