src/doc/: Remove ad-hoc helper files

3 files changed, 0 insertions, 137 deletions

diff --git a/src/doc/favicon.svg b/src/doc/favicon.svg
deleted file mode 100644
index ce566b2..0000000
--- a/src/doc/favicon.svg
+++ /dev/null
@@ -1,62 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" width="16" height="16">
-  <path d="M 0  8  L 1  8  L 1  9  L 0  9  L 0  8  Z" />
-  <path d="M 0  13 L 1  13 L 1  14 L 0  14 L 0  13 Z" />
-  <path d="M 1  8  L 2  8  L 2  9  L 1  9  L 1  8  Z" />
-  <path d="M 1  13 L 2  13 L 2  14 L 1  14 L 1  13 Z" />
-  <path d="M 2  8  L 3  8  L 3  9  L 2  9  L 2  8  Z" />
-  <path d="M 2  13 L 3  13 L 3  14 L 2  14 L 2  13 Z" />
-  <path d="M 3  8  L 4  8  L 4  9  L 3  9  L 3  8  Z" />
-  <path d="M 3  13 L 4  13 L 4  14 L 3  14 L 3  13 Z" />
-  <path d="M 4  7  L 5  7  L 5  8  L 4  8  L 4  7  Z" />
-  <path d="M 4  8  L 5  8  L 5  9  L 4  9  L 4  8  Z" />
-  <path d="M 4  13 L 5  13 L 5  14 L 4  14 L 4  13 Z" />
-  <path d="M 5  6  L 6  6  L 6  7  L 5  7  L 5  6  Z" />
-  <path d="M 5  7  L 6  7  L 6  8  L 5  8  L 5  7  Z" />
-  <path d="M 5  13 L 6  13 L 6  14 L 5  14 L 5  13 Z" />
-  <path d="M 6  5  L 7  5  L 7  6  L 6  6  L 6  5  Z" />
-  <path d="M 6  6  L 7  6  L 7  7  L 6  7  L 6  6  Z" />
-  <path d="M 6  14 L 7  14 L 7  15 L 6  15 L 6  14 Z" />
-  <path d="M 7  1  L 8  1  L 8  2  L 7  2  L 7  1  Z" />
-  <path d="M 7  14 L 8  14 L 8  15 L 7  15 L 7  14 Z" />
-  <path d="M 7  15 L 8  15 L 8  16 L 7  16 L 7  15 Z" />
-  <path d="M 7  2  L 8  2  L 8  3  L 7  3  L 7  2  Z" />
-  <path d="M 7  3  L 8  3  L 8  4  L 7  4  L 7  3  Z" />
-  <path d="M 7  4  L 8  4  L 8  5  L 7  5  L 7  4  Z" />
-  <path d="M 7  5  L 8  5  L 8  6  L 7  6  L 7  5  Z" />
-  <path d="M 8  1  L 9  1  L 9  2  L 8  2  L 8  1  Z" />
-  <path d="M 8  15 L 9  15 L 9  16 L 8  16 L 8  15 Z" />
-  <path d="M 9  1  L 10 1  L 10 2  L 9  2  L 9  1  Z" />
-  <path d="M 9  2  L 10 2  L 10 3  L 9  3  L 9  2  Z" />
-  <path d="M 9  6  L 10 6  L 10 7  L 9  7  L 9  6  Z" />
-  <path d="M 9  15 L 10 15 L 10 16 L 9  16 L 9  15 Z" />
-  <path d="M 10 2  L 11 2  L 11 3  L 10 3  L 10 2  Z" />
-  <path d="M 10 3  L 11 3  L 11 4  L 10 4  L 10 3  Z" />
-  <path d="M 10 4  L 11 4  L 11 5  L 10 5  L 10 4  Z" />
-  <path d="M 10 5  L 11 5  L 11 6  L 10 6  L 10 5  Z" />
-  <path d="M 10 6  L 11 6  L 11 7  L 10 7  L 10 6  Z" />
-  <path d="M 11 6  L 12 6  L 12 7  L 11 7  L 11 6  Z" />
-  <path d="M 11 8  L 12 8  L 12 9  L 11 9  L 11 8  Z" />
-  <path d="M 10 15 L 11 15 L 11 16 L 10 16 L 10 15 Z" />
-  <path d="M 11 10 L 12 10 L 12 11 L 11 11 L 11 10 Z" />
-  <path d="M 11 12 L 12 12 L 12 13 L 11 13 L 11 12 Z" />
-  <path d="M 11 14 L 12 14 L 12 15 L 11 15 L 11 14 Z" />
-  <path d="M 11 15 L 12 15 L 12 16 L 11 16 L 11 15 Z" />
-  <path d="M 12 6  L 13 6  L 13 7  L 12 7  L 12 6  Z" />
-  <path d="M 12 8  L 13 8  L 13 9  L 12 9  L 12 8  Z" />
-  <path d="M 12 10 L 13 10 L 13 11 L 12 11 L 12 10 Z" />
-  <path d="M 12 12 L 13 12 L 13 13 L 12 13 L 12 12 Z" />
-  <path d="M 12 14 L 13 14 L 13 15 L 12 15 L 12 14 Z" />
-  <path d="M 13 6  L 14 6  L 14 7  L 13 7  L 13 6  Z" />
-  <path d="M 13 8  L 14 8  L 14 9  L 13 9  L 13 8  Z" />
-  <path d="M 13 10 L 14 10 L 14 11 L 13 11 L 13 10 Z" />
-  <path d="M 13 12 L 14 12 L 14 13 L 13 13 L 13 12 Z" />
-  <path d="M 13 13 L 14 13 L 14 14 L 13 14 L 13 13 Z" />
-  <path d="M 13 14 L 14 14 L 14 15 L 13 15 L 13 14 Z" />
-  <path d="M 14 7  L 15 7  L 15 8  L 14 8  L 14 7  Z" />
-  <path d="M 14 8  L 15 8  L 15 9  L 14 9  L 14 8  Z" />
-  <path d="M 14 9  L 15 9  L 15 10 L 14 10 L 14 9  Z" />
-  <path d="M 14 10 L 15 10 L 15 11 L 14 11 L 14 10 Z" />
-  <path d="M 14 11 L 15 11 L 15 12 L 14 12 L 14 11 Z" />
-  <path d="M 14 12 L 15 12 L 15 13 L 14 13 L 14 12 Z" />
-</svg>
diff --git a/src/doc/head.html b/src/doc/head.html
deleted file mode 100644
index 3902690..0000000
--- a/src/doc/head.html
+++ /dev/null
@@ -1,2 +0,0 @@
-<link rel="icon"       href="favicon.svg" type="image/svg+xml" />
-<link rel="stylesheet" href="style.css"   type="text/css" />
diff --git a/src/doc/md2html.sh b/src/doc/md2html.sh
deleted file mode 100755
index 12865da..0000000
--- a/src/doc/md2html.sh
+++ /dev/null
@@ -1,73 +0,0 @@
-#!/bin/sh
-set -eu
-
-
-usage() {
-	cat <<-'EOF'
-		Usage:
-		  md2html.sh -T TITLE [-D TOC_DEPTH] < FILE.md
-		  md2html.sh -h
-	EOF
-}
-
-help() {
-	cat <<-'EOF'
-
-		Options:
-		  -T TITLE        the required title of the generated HTML
-		                  document
-		  -D TOC_DEPTH    the depth of the generated table of
-		                  contents (default: 2)
-		  -h, --help      show this message
-
-
-		Read markdown text from STDIN and emit HTML to STDOUT.
-	EOF
-}
-
-for flag in "$@"; do
-	case "$flag" in
-		--)
-			break
-			;;
-		--help)
-			usage
-			help
-			exit
-			;;
-		*)
-			;;
-	esac
-done
-
-TOC_DEPTH=2
-while getopts 'T:D:h' flag; do
-	case "$flag" in
-		T)
-			TITLE="$OPTARG"
-			;;
-		D)
-			TOC_DEPTH="$OPTARG"
-			;;
-		h)
-			usage
-			help
-			exit
-			;;
-		*)
-			usage >&2
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-eval "$(assert-arg "${TITLE:-}" '-T TITLE')"
-
-pandoc \
-	-s \
-	--toc                     \
-	--toc-depth="$TOC_DEPTH"  \
-	--metadata lang=en        \
-	--metadata title="$TITLE" \
-	-H src/doc/head.html