Reset version (trying again, upload problems...)

diff --git a/doc/webserver/developer-manual/documentation.html b/doc/webserver/developer-manual/documentation.html
index 1112292..9eeab32 100644 (file)
--- a/doc/webserver/developer-manual/documentation.html
+++ b/doc/webserver/developer-manual/documentation.html
@@ -377,7 +377,7 @@ CLASS="LITERAL"
 ><TD
 >  <I
 CLASS="EMPHASIS"
->&#60;itemizedlist&#62;&#60;/itemizdelist&#62;</I
+>&#60;itemizedlist&#62;&#60;/itemizedlist&#62;</I
 >, list with bullets.
  </TD
 ></TR
@@ -678,7 +678,7 @@ CLASS="APPLICATION"
 > 
     version string, e.g. <SPAN
 CLASS="QUOTE"
->"2.9.13"</SPAN
+>"2.9.14"</SPAN
 >.
    </TD
 ></TR
@@ -690,13 +690,13 @@ CLASS="EMPHASIS"
 >: the project status, either 
     <SPAN
 CLASS="QUOTE"
->"ALPHA"</SPAN
+>"alpha"</SPAN
 >, <SPAN
 CLASS="QUOTE"
->"BETA"</SPAN
+>"beta"</SPAN
 >, or <SPAN
 CLASS="QUOTE"
->"STABLE"</SPAN
+>"stable"</SPAN
 >.
    </TD
 ></TR
@@ -711,7 +711,7 @@ CLASS="QUOTE"
 >"not stable"</SPAN
 > releases (e.g. <SPAN
 CLASS="QUOTE"
->"BETA"</SPAN
+>"beta"</SPAN
 >).
    </TD
 ></TR