[jbosstools-commits] JBoss Tools SVN: r9765 - trunk/as/docs/reference/en.
Author: ochikvina
Date: 2008-08-18 08:05:13 -0400 (Mon, 18 Aug 2008)
New Revision: 9765
Modified:
trunk/as/docs/reference/en/master.xml
Log:
https://jira.jboss.org/jira/browse/JBDS-385 - adding new chapter "TPTP support"
Modified: trunk/as/docs/reference/en/master.xml
===================================================================
--- trunk/as/docs/reference/en/master.xml 2008-08-18 10:24:07 UTC (rev 9764)
+++ trunk/as/docs/reference/en/master.xml 2008-08-18 12:05:13 UTC (rev 9765)
@@ -7,6 +7,7 @@
<!ENTITY perspective SYSTEM "modules/perspective.xml">
<!ENTITY webtools SYSTEM "modules/webtools.xml">
<!ENTITY modules SYSTEM "modules/modules.xml">
+<!ENTITY tptp_support SYSTEM "modules/tptp_support.xml">
<!ENTITY seamlink "../../seam/html_single/index.html">
<!ENTITY aslink "../../as/html_single/index.html">
@@ -51,4 +52,6 @@
&perspective;
&webtools;
&modules;
+ &tptp_support;
+
</book>