One more fix to index-script

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14051 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.feature/customBuild.xml

@@ -93,7 +93,7 @@
     	but such elements exist in the index.  We replace them. -->
     	<replaceregexp
     		match="plasTeX.Base.LaTeX.Index.IndexDestination[^>]*"
-    		replace="plasTeX.Base.LaTeX.Index.IndexDestination"
+    		replace="plasTeX.Base.LaTeX.Index.IndexDestination/"
     		flags="g"
     	>
     		<fileset dir="${targetdir}" includes="*.html"/>

org.rodinp.handbook.feature/latex/.creative-commons.tex.ini

+[LATEX]
+master-filename = rodin-doc.tex
+

org.rodinp.handbook.feature/org.rodinp.handbook.feature customBuild.xml.launch

@@ -15,6 +15,7 @@
 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.launching.remote.InternalAntRunner"/>
 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.rodinp.handbook.feature"/>
 <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_ANT_TARGETS" value="generate-eclipse,"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/org.rodinp.handbook.feature/customBuild.xml}"/>
 <stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/>

org.rodinp.handbook.feature/test.txt

-hallo world