[tei-council] Build failed in Jenkins: TEIP5-Documentation #411

James Cummings James.Cummings at oucs.ox.ac.uk
Tue Jun 19 01:56:49 EDT 2012


On 19/06/12 05:29, Martin Holmes wrote:
> I put Lou's new readme profile into the Makefile, and the Documentation
> build broke.
>
> This reveals that the readme part of the Documentation job, at least,
> not been using the XSL from the Stylesheets build:
>
>   >  ERROR: No support for profile readme:
> /usr/share/xml/tei/stylesheet/profiles/readme/html/to.xsl does not exist.
>
> This is presumably because the script calls teitohtml, which doesn't
> know anything about the Jenkins job stylesheets at all; it defaults to
> APPHOME=/usr/share/xml/tei/stylesheet.
>
> So the Makefile needs to pass the XSL dir into the teitohtml script
> which operates on the readmes. I've tried to implement that, and we'll
> see if it works.
>
> I wonder if the teitohtml that gets called should be the one from SVN,
> rather than from the installed packages?

Wouldn't another solution be that if a Stylesheet build is 
successful that then the Jenkins system will do the equivalent of 
a 'sudo make install'? Then the next build would use the updated 
stylesheets.  I'd worry about passing it the directory of the 
Jenkins job stylesheets because you don't know that those have 
built successful yet?  Or am I misunderstanding this?

I had an identical error, btw, when I used the readme profile to 
generate the text for my message to TEI-L, and then remembered it 
was because I hadn't updated my local copy of the stylesheets 
since Lou had added that. A quick sudo make install and it worked 
perfectly.

-James
-- 
Dr James Cummings, InfoDev
Oxford University Computing Services
University of Oxford


More information about the tei-council mailing list