From dfaa96cd1f152138c5248f0d760ddcbecd78af7a Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Mon, 28 Oct 2019 20:27:10 +0000
Subject: pkg.mk: use dark216 olddoc theme for Earth Day 2019

I forgot to commit this change months ago.
---
 pkg.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkg.mk b/pkg.mk
index 2353e3b..fa378c9 100644
--- a/pkg.mk
+++ b/pkg.mk
@@ -60,7 +60,7 @@ doc:: .document .olddoc.yml $(pkg_extra) $(PLACEHOLDERS)
 	-find lib -type f -name '*.rbc' -exec rm -f '{}' ';'
 	-find ext -type f -name '*.rbc' -exec rm -f '{}' ';'
 	$(RM) -r doc
-	$(RDOC) -f oldweb
+	$(RDOC) -f dark216
 	$(OLDDOC) merge
 	if test -f COPYING; then install -m644 COPYING doc/COPYING; fi
 	install -m644 NEWS doc/NEWS
-- 
cgit v1.2.3-24-ge0c7