summaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
authorAustin Seipp <austin@well-typed.com>2014-06-26 11:33:29 -0500
committerAustin Seipp <austin@well-typed.com>2014-06-26 11:33:31 -0500
commit5bbbc7d7e0ef141bff6f4c5991d154413ed86ac3 (patch)
tree55ffcf60b3d21d294bce7b6878fb510d07eff714 /.arclint
parent22c16eb71c2bf87a555387aca115eae7367df50a (diff)
downloadhaskell-5bbbc7d7e0ef141bff6f4c5991d154413ed86ac3.tar.gz
arclint: update rules for xml files
As pointed out by Edward, it's probably unreasonable to have the xml docs adhere to 80 columns, so we'll separate out the linters for now. Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to '.arclint')
-rw-r--r--.arclint9
1 files changed, 9 insertions, 0 deletions
diff --git a/.arclint b/.arclint
index caa72abde8..21ca5f08c0 100644
--- a/.arclint
+++ b/.arclint
@@ -14,9 +14,18 @@
},
"text": {
"type": "text",
+ "exclude": [ "(\\.xml$)" ],
"severity": {
"5": "disabled"
}
+ },
+ "text-xml": {
+ "type": "text",
+ "include": "(\\.xml$)",
+ "severity": {
+ "5": "disabled",
+ "3": "disabled"
+ }
}
}
}