From 57fd28ea418a4ec6e148a131104c94e84ef6f73f Mon Sep 17 00:00:00 2001
From: "Robert P. Goldman" <rpgoldman@sift.net>
Date: Tue, 16 Feb 2021 12:13:31 -0600
Subject: [PATCH] Restore make doc target.

---
 Makefile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 953603a4a..4212e6ae1 100644
--- a/Makefile
+++ b/Makefile
@@ -154,10 +154,11 @@ push:
 	git fetch
 	git status
 
-# doc:
-# 	${MAKE} -C doc
-# don't have the toolchain to build docs installed...
-doc: ;
+doc:
+	${MAKE} -C doc
+# if you don't have the toolchain to build docs installed...
+#doc: ;
+
 website:
 	${MAKE} -C doc website
 	${MAKE} -C uiop/doc website
-- 
GitLab