Hey Scott :) I'd like to add a doctype to our generated web.xml files. The right way to do it is changing web.xmlsrc, right?
Here's a patch, relative to the release branch at r4849. Would you take a look? Thanks! -- Alex Rudnick swe, gwt, atl --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
Index: user/src/com/google/gwt/user/tools/web.xmlsrc =================================================================== --- user/src/com/google/gwt/user/tools/web.xmlsrc (revision 4849) +++ user/src/com/google/gwt/user/tools/web.xmlsrc (working copy) @@ -1,4 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE web-app + PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" + "http://java.sun.com/dtd/web-app_2_3.dtd";> + <web-app> <!-- Default page to serve -->
