From ba6251ac268cede6fd79d56c38c336b7f65e051f Mon Sep 17 00:00:00 2001
From: Enver Haase <enver@vaadin.com>
Date: Mon, 29 Aug 2016 23:21:58 +0300
Subject: Mention vaadin-push in getting-started

Change-Id: Ic46254b77d1226c2a00ed1ad2b2f96a452a4609a
---
 documentation/getting-started/getting-started-libraries.asciidoc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'documentation/getting-started/getting-started-libraries.asciidoc')

diff --git a/documentation/getting-started/getting-started-libraries.asciidoc b/documentation/getting-started/getting-started-libraries.asciidoc
index 3ff27b8acb..7e9f2ac899 100644
--- a/documentation/getting-started/getting-started-libraries.asciidoc
+++ b/documentation/getting-started/getting-started-libraries.asciidoc
@@ -44,6 +44,10 @@ This library is not needed if you compile the application widget set with the Va
 Vaadin built-in themes both as SCSS source files and precompiled CSS files.
 The library is required both for basic use with CSS themes and for compiling custom Sass themes.
 
+[filename]#vaadin-push-8.x.x.jar#::
+The implementation of server push for Vaadin.
+This is needed for web applications which use server push (e.g. using the @Push annotation in a Servlet class).
+
 Some of the libraries depend on each other as well as on the dependency libraries provided in the [filename]#lib# folder of the installation package, especially the [filename]#lib/vaadin-shared-deps.jar#.
 
 The different ways to install the libraries are described in the subsequent sections.
-- 
cgit v1.2.3

