From 7641b63854057cb34c87a3bffe618123b6760db3 Mon Sep 17 00:00:00 2001
From: Ahmed Ashour <asashour@yahoo.com>
Date: Wed, 30 Aug 2017 15:26:06 +0200
Subject: [PATCH] Correct DOCTYPE of GWT widgetset

---
 documentation/clientside/clientside-module.asciidoc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/documentation/clientside/clientside-module.asciidoc b/documentation/clientside/clientside-module.asciidoc
index 4656264ce1..f7476dbe5b 100644
--- a/documentation/clientside/clientside-module.asciidoc
+++ b/documentation/clientside/clientside-module.asciidoc
@@ -20,8 +20,8 @@ widget set, you should normally inherit the [classname]#DefaultWidgetSet#.
 
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE module PUBLIC
-  "-//Google Inc.//DTD Google Web Toolkit 1.7.0//EN"
-  "http://google-web-toolkit.googlecode.com/svn/tags/1.7.0/distro-source/core/src/gwt-module.dtd">
+  "-//Google Inc.//DTD Google Web Toolkit 2.8.1//EN"
+  "http://gwtproject.org/doctype/2.8.1/gwt-module.dtd">
 
 <module>
     <!-- Inherit the default widget set -->
-- 
2.39.5