1 files changed, 0 insertions, 41 deletions
diff --git a/get-kisa-as-list b/get-kisa-as-list
deleted file mode 100755
index b4b1c10..0000000
--- a/get-kisa-as-list
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/bin/env python3
-import html
-import html.parser
-import sys
-
-def sanitize_as_name (s: str):
-	return ' '.join(s.split())
-
-class KISAASListExtractor (html.parser.HTMLParser):
-	_table_started = False
-	_td = list[str]()
-	_tag_stack = list[str]()
-
-	def handle_starttag (self, tag, attrs):
-		self._tag_stack.append(tag) # FIXME: don't push void elements
-
-		if self._table_started:
-			if tag == 'tr':
-				self._td.clear()
-		else:
-			if tag == 'table':
-				attr_map = dict[str, str](attrs)
-
-				if attr_map.get('class') == 'datatable':
-					self._table_started = True
-
-	def handle_endtag (self, tag):
-		if self._table_started and tag == 'table':
-			self._table_started = False
-		if tag == 'tr' and self._td:
-			print("%-12s\t%s" % (self._td[1], sanitize_as_name(self._td[0])))
-
-		self._tag_stack.pop()
-
-	def handle_data (self, data):
-		if self._table_started and self._tag_stack[-1] == 'td':
-			self._td.append(data)
-
-
-doc_parser = KISAASListExtractor()
-doc_parser.feed(sys.stdin.read())