diff --git a/doc/file.README.html b/doc/file.README.html
index 0277b50..d8caeaa 100644
--- a/doc/file.README.html
+++ b/doc/file.README.html
@@ -61,6 +61,33 @@
Readme

+
Synopsis
diff --git a/doc/index.html b/doc/index.html
index 82a8274..48071dc 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -61,6 +61,33 @@
Readme

+
Synopsis