themes-compiled -> themes

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