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/Makefile | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'devel/Makefile')

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