[tei-council] What is this file and why do we have it?

[Lou Burnard]

It contains a <divGen>, which is presumably  needed to generate the 
index at the back of the volume. I suggest grepping through the 
stylesheets for the point where <divGen> is processed.


On 17/04/13 17:44, Martin Holmes wrote:
> We do seem to need it. The build fails with the error below.
>
> But I'm still not clear on what it does. The error arises when Jenkins
> tries to copy the file to the set of archived artifacts.
>
> ERROR: Failed to archive artifacts: release/xml/**,
> release/doc/**,*.zip,tei-p5-*_*,teiwebsiteguidelines.zip
> hudson.util.IOException2: Failed to copy
> /var/lib/jenkins/jobs/TEIP5/workspace/release/xml/**,
> release/doc/**,*.zip,tei-p5-*_*,teiwebsiteguidelines.zip to
> /var/lib/jenkins/jobs/TEIP5/builds/2013-04-17_05-53-22/archive
> at hudson.FilePath$34.invoke(FilePath.java:1884)
> at hudson.FilePath$34.invoke(FilePath.java:1850)
> at hudson.FilePath.act(FilePath.java:904)
> at hudson.FilePath.act(FilePath.java:877)
> at hudson.FilePath.copyRecursiveTo(FilePath.java:1850)
> at hudson.tasks.ArtifactArchiver.perform(ArtifactArchiver.java:133)
> at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:19)
> at
> hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:802)
> at
> hudson.model.AbstractBuild$AbstractBuildExecution.performAllBuildSteps(AbstractBuild.java:774)
> at hudson.model.Build$BuildExecution.post2(Build.java:183)
> at
> hudson.model.AbstractBuild$AbstractBuildExecution.post(AbstractBuild.java:724)
> at hudson.model.Run.execute(Run.java:1600)
> at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:46)
> at hudson.model.ResourceController.execute(ResourceController.java:88)
> at hudson.model.Executor.run(Executor.java:237)
> Caused by: Failed to copy
> /var/lib/jenkins/jobs/TEIP5/workspace/release/xml/tei/odd/Source/Guidelines/fr/PARTIND.xml
> to
> /var/lib/jenkins/jobs/TEIP5/builds/2013-04-17_05-53-22/archive/release/xml/tei/odd/Source/Guidelines/fr/PARTIND.xml
> due to java.io.FileNotFoundException
> /var/lib/jenkins/jobs/TEIP5/workspace/release/xml/tei/odd/Source/Guidelines/fr/PARTIND.xml
> (No such file or directory)
> at org.apache.tools.ant.taskdefs.Copy.doFileOperations(Copy.java:914)
> at hudson.FilePath$34$1CopyImpl.doFileOperations(FilePath.java:1867)
> at org.apache.tools.ant.taskdefs.Copy.execute(Copy.java:567)
> at hudson.FilePath$34.invoke(FilePath.java:1881)
> ... 14 more
> Caused by: java.io.FileNotFoundException:
> /var/lib/jenkins/jobs/TEIP5/workspace/release/xml/tei/odd/Source/Guidelines/fr/PARTIND.xml
> (No such file or directory)
>
> Cheers,
> Martin
>
> On 13-04-17 01:39 AM, Sebastian Rahtz wrote:
>> On 17 Apr 2013, at 03:48, Martin Holmes <mholmes at uvic.ca> wrote:
>>
>>> Does anyone know why this file exists in the repo?
>>>
>>> <http://sourceforge.net/p/tei/code/HEAD/tree/trunk/P5/Source/Guidelines/en/PARTIND.xml>
>>>
>>> I can't see anything that's making use of it.
>>>
>> strange. _something_ triggers the index build in the PDF
>>
>> --
>> Sebastian Rahtz
>> Director (Research) of Academic IT
>> University of Oxford IT Services
>> 13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431
>>
>>