From 63454c71789b7d2d3c84e9a06b6757fe992d0b64 Mon Sep 17 00:00:00 2001
From: Tim Savannah <kata198@gmail.com>
Date: Sat, 20 May 2017 17:11:54 -0400
Subject: [PATCH] Add mkdoc.sh script

---
 mkdoc.sh | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100755 mkdoc.sh

diff --git a/mkdoc.sh b/mkdoc.sh
new file mode 100755
index 0000000..acfbfc5
--- /dev/null
+++ b/mkdoc.sh
@@ -0,0 +1,55 @@
+#!/bin/bash
+
+ALL_MODS="$(echo func_timeout/*.py | tr ' ' '\n' | sed -e 's|/|.|g' -e 's|.py$||g' -e 's|.__init__$||g' | tr '\n' ' ')"
+
+pydoc -w ${ALL_MODS}
+mv *.html doc/
+pushd doc >/dev/null 2>&1
+rm -f index.html
+
+for fname in `echo *.html`;
+do
+    python <<EOT
+
+import AdvancedHTMLParser
+import sys
+
+if __name__ == '__main__':
+
+    filename = "${fname}"
+
+    parser = AdvancedHTMLParser.AdvancedHTMLParser()
+    parser.parseFile(filename)
+
+    em = parser.filter(tagName='a', href='.')
+
+    if len(em) == 0:
+        sys.exit(0)
+
+    em = em[0]
+
+    em.href = 'func_timeout.html'
+
+    parentNode = em.parentNode
+
+    emIndex = parentNode.children.index(em)
+
+    i = len(parentNode.children) - 1
+    
+    while i > emIndex:
+        parentNode.removeChild( parentNode.children[i] )
+        i -= 1
+
+
+    with open(filename, 'wt') as f:
+        f.write(parser.getHTML())
+
+
+EOT
+
+
+done
+
+ln -s func_timeout.html index.html
+
+popd >/dev/null 2>&1