From 2040709585d7e42ec85ff1124995d85b4caeb0e1 Mon Sep 17 00:00:00 2001
From: Calvin Rose <crose@gmail.com>
Date: Sun, 30 May 2021 16:44:37 -0500
Subject: [PATCH] Re-add `make docs`.

Wasn't hurting anything.
---
 Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Makefile b/Makefile
index d3a1a80c..7efef93b 100644
--- a/Makefile
+++ b/Makefile
@@ -239,6 +239,15 @@ build/janet-%.tar.gz: $(JANET_TARGET) \
 	cp CONTRIBUTING.md LICENSE README.md build/$(JANET_DIST_DIR)/
 	cd build && tar -czvf ../$@ ./$(JANET_DIST_DIR)
 
+#########################
+##### Documentation #####
+#########################
+
+docs: build/doc.html
+
+build/doc.html: $(JANET_TARGET) tools/gendoc.janet
+	$(JANET_TARGET) tools/gendoc.janet > build/doc.html
+
 ########################
 ##### Installation #####
 ########################