From 68d9e495c336fce0d2398745d81821f5c702d221 Mon Sep 17 00:00:00 2001
From: Andrey Konovalov <andreyknvl@google.com>
Date: Fri, 1 Mar 2019 11:56:03 +0100
Subject: check_links: ignore mailto:* links

---
 tools/check_links.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools')

diff --git a/tools/check_links.py b/tools/check_links.py
index 14a8517c1..269e323ab 100755
--- a/tools/check_links.py
+++ b/tools/check_links.py
@@ -27,6 +27,8 @@ def filter_link((doc, link)):
 		return False
 	if link.startswith('#'):
 		return False
+	if link.startswith('mailto'):
+		return False
 	return True
 
 links = filter(filter_link, links)
-- 
cgit mrf-deployment