Console Output

12:16:24 Started by user Thorsten Vitt
12:16:24 Building remotely on build1 in workspace /var/jenkins/workspace/TextGrid-Baseline-Encoding
12:16:25 Checking out a fresh workspace because there's no workspace at /var/jenkins/workspace/TextGrid-Baseline-Encoding
12:16:25 Cleaning local Directory .
12:16:26 Checking out https://develop.sub.uni-goettingen.de/repos/textgrid/trunk/textformate/kerncodierung/gesamtschema at revision '2013-05-27T12:16:24.658 +0200'
12:16:34 AU        baseline.xsd
12:16:34 AU        baseline_roma.xml
12:16:34 A         inline.rnc
12:16:35 A         structure.rnc
12:16:35 A         tests
12:16:35 A         tests/valid
12:16:35 AU        tests/valid/schemas.xml
12:16:35 AU        tests/valid/spans.xml
12:16:35 AU        tests/valid/struct.xml
12:16:35 AU        tests/valid/brief_kern.xml
12:16:35 AU        tests/valid/gie_baseline.xml
12:16:36 A         tests/invalid
12:16:36 AU        tests/invalid/cam_baseline.xml
12:16:36 AU        tests/invalid/spans.xml
12:16:36 AU        tests/invalid/struct1.xml
12:16:36 AU        tests/invalid/brief_kern.xml
12:16:36 AU        tests/invalid/struct2.xml
12:16:36 AU        baseline.rnc
12:16:36 AU        tei_odds.xml
12:16:37 AU        tei_odds.rnc
12:16:37 AU        generate-package.sh
12:16:37 AU        README
12:16:37 AU        xml.xsd
12:16:37 At revision 14076
12:16:37 no change for https://develop.sub.uni-goettingen.de/repos/textgrid/trunk/textformate/kerncodierung/gesamtschema since the previous build
12:16:37 [TextGrid-Baseline-Encoding] $ /bin/sh -xe /tmp/hudson3889484680231692421.sh
12:16:37 + roma2 --docpdf --dochtml --docflags=subTocDepth=3 pageLayout=css baseline_roma.xml TextGrid-Baseline
12:16:37 ========= Roma starts at 2013-05-27 12:16:51 ===========
12:16:38 TEI stylesheet tree: /usr/share/xml/tei/stylesheet
12:16:55 Results to: TextGrid-Baseline
12:16:55 Process baseline_roma.xml to create textgrid_baseline_encoding{.dtd|.xsd|.doc.xml|.rng|.rnc} in TextGrid-Baseline
12:16:55 ========= Roma version 4.13 starts execution at 2013-05-27 12:17:09.327944588 ===========
12:16:55 1. expand and simplify ODD 
12:17:02 2. make RELAX NG from compiled ODD
12:17:07 3. make RELAX NG compact from XML
12:17:09 4. make XSD from RELAX NG
12:17:10 5. make DTD from compiled ODD
12:17:15 6. make expanded documented ODD textgrid_baseline_encoding.doc.xml 
12:17:22 7. make PDF documentation textgrid_baseline_encoding.doc.pdf and textgrid_baseline_encoding.doc.tex 
12:17:32 This is XeTeX, Version 3.1415926-2.4-0.9998 (TeX Live 2012/Debian)
12:17:32  restricted \write18 enabled.
12:17:33 entering extended mode
12:17:41 
12:17:41 ** WARNING ** Failed to convert input string to UTF16...
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A/B', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A/I', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A/BI', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A:', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:36 ** WARNING ** Invalid CMap mapping entry. (ignored)
12:18:37 This is XeTeX, Version 3.1415926-2.4-0.9998 (TeX Live 2012/Debian)
12:18:37  restricted \write18 enabled.
12:18:37 entering extended mode
12:18:38 
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A/B', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A/I', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A/BI', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A:', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:45 ** WARNING ** Invalid CMap mapping entry. (ignored)
12:18:46 10. make HTML documentation textgrid_baseline_encoding.doc.html 
12:18:55 ========= 2013-05-27 12:19:09.789630883 Roma ends
12:18:56 Archiving artifacts
12:18:58 Finished: SUCCESS