themes-compiled -> themes

diff --git a/WebContent/release-notes.html b/WebContent/release-notes.html
index 8a9a1ab501b03adc0657f316d6280def4a31ddb4..63449514d9abde6e78fd883f664aa5a29aee49b0 100644 (file)
--- a/WebContent/release-notes.html
+++ b/WebContent/release-notes.html
@@ -81,7 +81,7 @@
         <li>Separate server-side (<tt>vaadin-server</tt>) and client-side (<tt>vaadin-client</tt>, <tt>vaadin-client-compiler</tt>) development libraries</li>
         <li>Precompiled widget set (<tt>vaadin-client-compiled</tt>) for server-side development</li>
         <li>Shared library (<tt>vaadin-shared</tt>) for both server- and client-side libraries</li>
-        <li>Built-in themes (<tt>vaadin-themes-compiled</tt>) and the theme compiler (<tt>vaadin-theme-compiler</tt>)
+        <li>Built-in themes (<tt>vaadin-themes</tt>) and the theme compiler (<tt>vaadin-theme-compiler</tt>)
         <li>Dependency libraries provided under the <tt>lib/</tt> folder</li>
       </ul>
 
@@ -95,7 +95,7 @@
       <p>
         For server-side development, copy the <tt>vaadin-server</tt>,
         <tt>vaadin-client-compiled</tt>, <tt>vaadin-shared</tt>,
-        <tt>vaadin-theme-compiler</tt>, and <tt>vaadin-themes-compiled</tt> from the main
+        <tt>vaadin-theme-compiler</tt>, and <tt>vaadin-themes</tt> from the main
         folder and the dependencies from the <tt>lib</tt> folder to the
         <tt>WEB-INF/lib</tt> folder of your Vaadin project. (The
         <tt>vaadin-client-compiled</tt> is necessary if you do not wish to compile the
@@ -322,7 +322,7 @@
         <b>Liferay and other portal</b> users must install the Vaadin libraries in
         <t>ROOT/WEB-INF/lib/</b> in the portal (and remove a possibly obsolete older
         <tt>vaadin.jar</tt>). Additionally, the contents of the
-        <tt>vaadin-client-compiled</tt> and <tt>vaadin-themes-compiled</tt> must be
+        <tt>vaadin-client-compiled</tt> and <tt>vaadin-themes</tt> must be
         extracted to the <tt>ROOT/html/VAADIN</tt> directory in the Liferay
         installation. If your portal uses custom widgets, install the latest version of <a
         href="http://vaadin.com/directory#addon/vaadin-control-panel-for-liferay">Vaadin