diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-08-01T13·24+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-08-01T13·24+0000 |
commit | f450c8ea2f0917f3a8df77d8c849eed713f96cbd (patch) | |
tree | 6525db9de652c5bf39c78c481c166d275a04aaf1 /src | |
parent | 800a6ff845ff951ff54a43fd4098b2e505f6eb02 (diff) |
* Oops. XSL stylesheet to mark errors.
Diffstat (limited to 'src')
-rw-r--r-- | src/log2xml/mark-errors.xsl | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/log2xml/mark-errors.xsl b/src/log2xml/mark-errors.xsl new file mode 100644 index 000000000000..4e91913e570a --- /dev/null +++ b/src/log2xml/mark-errors.xsl @@ -0,0 +1,24 @@ +<?xml version="1.0"?> + +<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"> + + <xsl:template match="@*|node()"> + <xsl:copy> + <xsl:apply-templates select="@*|node()"/> + </xsl:copy> + </xsl:template> + + <xsl:template match="line"> + <line> + <xsl:if test="contains(text(), ' *** ') or + contains(text(), 'LaTeX Error') or + contains(text(), 'FAIL:') or + contains(text(), ' error: ') or + true"> + <xsl:attribute name="error"></xsl:attribute> + </xsl:if> + <xsl:apply-templates select="@*|node()"/> + </line> + </xsl:template> + +</xsl:stylesheet> \ No newline at end of file |