From 4b3e8792480c47146d9ca42148eff9ab65234e7d Mon Sep 17 00:00:00 2001
From: Zach van Rijn <me@zv.io>
Date: Sun, 4 Sep 2022 20:34:34 -0500
Subject: Remove Dockerized documentation generator.

---
 devel/Dockerfile |  6 ------
 devel/Makefile   | 11 -----------
 2 files changed, 17 deletions(-)
 delete mode 100644 devel/Dockerfile

diff --git a/devel/Dockerfile b/devel/Dockerfile
deleted file mode 100644
index 4d7ed22..0000000
--- a/devel/Dockerfile
+++ /dev/null
@@ -1,6 +0,0 @@
-FROM alpine:3.14
-
-RUN apk update && apk upgrade && apk add \
-lynx \
-make \
-xmlto
diff --git a/devel/Makefile b/devel/Makefile
index ea1d8a4..789b350 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -2,17 +2,6 @@
 
 all: requirements/html/index.html script/html/index.html vision/html/index.html
 
-image:
-	docker build . -t cookbook
-site:
-	docker run -u$(shell id -u):$(shell id -g) -v$(CURDIR):/tmp -w /tmp --rm -it cookbook make
-	rm -fr out
-	mkdir out
-	cp index.html out
-	mv requirements/html out/requirements
-	mv script/html out/script
-	mv vision/html out/vision
-
 requirements/html/index.html: requirements/*.xml master.xsl pretty.css
 	@make -C requirements
 
-- 
cgit v1.2.3-70-g09d2