diff --git a/doc/file.README.html b/doc/file.README.html index f32352a..fdf075d 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,9 +60,32 @@

README

-

+

Synopsis

diff --git a/doc/index.html b/doc/index.html index 667a09a..20ad9ad 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,9 +60,32 @@

README

-

+

Synopsis