check_links: ignore mailto:* links

xairy · Mar 1, 2019 · 68d9e49 · 68d9e49
1 parent b32a35f
commit 68d9e49
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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)