Merge the Linker change branch.
Patch by: bobv
Review by: knorton, scottb (TBR)
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1855 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/distro-source/core/src/gwt-module.dtd b/distro-source/core/src/gwt-module.dtd
index 0002d0b..3f61ace 100644
--- a/distro-source/core/src/gwt-module.dtd
+++ b/distro-source/core/src/gwt-module.dtd
@@ -62,7 +62,8 @@
<!ELEMENT entry-point EMPTY>
<!ATTLIST entry-point
class CDATA #REQUIRED
->
+>
+
<!-- Preload a stylesheet before executing the GWT application -->
<!ELEMENT stylesheet EMPTY>
<!ATTLIST stylesheet
@@ -79,6 +80,20 @@
path CDATA #REQUIRED
class CDATA #REQUIRED
>
+
+<!-- Sets the default linker to use in the absence of a -target flag -->
+<!ELEMENT set-linker EMPTY>
+<!-- A comma-separated list of linker names -->
+<!ATTLIST default-linker
+ name CDATA #REQUIRED
+>
+
+<!-- Defines a Linker type to package compiler output -->
+<!ELEMENT linker EMPTY>
+<!ATTLIST linker
+ class CDATA #REQUIRED
+ name CDATA #REQUIRED
+>
<!-- ^^^ Commonly-used elements ^^^ -->
<!-- VVV Deferred binding elements VVV -->
