|
@@ -142,6 +142,7 @@
|
|
|
<include name="user-guide/simulating_statecharts.textile" />
|
|
|
<include name="user-guide/advanced_simulation.textile" />
|
|
|
<include name="user-guide/c-domain.textile" />
|
|
|
+ <include name="user-guide/typescript-domain.textile" />
|
|
|
<include name="user-guide/statechart_language.textile" />
|
|
|
<include name="user-guide/generating_code.textile" />
|
|
|
<include name="user-guide/generating_code_headless.textile" />
|
|
@@ -151,7 +152,7 @@
|
|
|
<!-- Check whether we have all the expected textile source files – no more, no less: -->
|
|
|
<fail message="Number of textile source file(s) doesn't match.">
|
|
|
<condition>
|
|
|
- <resourcecount refid="fileset.eclipsehelp" when="ne" count="11" />
|
|
|
+ <resourcecount refid="fileset.eclipsehelp" when="ne" count="12" />
|
|
|
</condition>
|
|
|
</fail>
|
|
|
|
|
@@ -199,7 +200,9 @@
|
|
|
|
|
|
<!-- Add CSS classes "eclipsehelp" and "body-container" to BODY element and
|
|
|
nest a DIV child with CSS class "primary" into the BODY element. -->
|
|
|
- <replaceregexp byline="true" match='<body>' replace='<body class="eclipsehelp body-container"><div class="primary">'>
|
|
|
+ <replaceregexp byline="true"
|
|
|
+ match='<body>'
|
|
|
+ replace='<body class="eclipsehelp body-container"><div class="primary">'>
|
|
|
<fileset dir="${help.dir}">
|
|
|
<include name="**/*.html" />
|
|
|
</fileset>
|
|
@@ -211,10 +214,7 @@
|
|
|
</replaceregexp>
|
|
|
|
|
|
<!-- Fix DIV elements -->
|
|
|
- <replaceregexp byline="false"
|
|
|
- flags="g"
|
|
|
- match='<p><div(.*)></p>'
|
|
|
- replace='<div\1>'>
|
|
|
+ <replaceregexp byline="false" flags="g" match='<p><div(.*)></p>' replace='<div\1>'>
|
|
|
<fileset dir="${help.dir}">
|
|
|
<include name="**/*.html" />
|
|
|
</fileset>
|
|
@@ -319,6 +319,7 @@
|
|
|
<file name="user-guide/simulating_statecharts.textile" />
|
|
|
<file name="user-guide/advanced_simulation.textile" />
|
|
|
<file name="user-guide/c-domain.textile" />
|
|
|
+ <file name="user-guide/typescript-domain.textile" />
|
|
|
<file name="user-guide/statechart_language.textile" />
|
|
|
<file name="user-guide/generating_code.textile" />
|
|
|
<file name="user-guide/generating_code_headless.textile" />
|