From d1aa9667374c37403ef93dbb02c22062bb9f259f Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 28 Nov 2021 16:46:56 -0800
Subject: [PATCH] Temporarily hide the Coq documentation article, even from
 drafts.

---
 content/blog/coq_docs/index.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/content/blog/coq_docs/index.md b/content/blog/coq_docs/index.md
index 2472932..2a06e75 100644
--- a/content/blog/coq_docs/index.md
+++ b/content/blog/coq_docs/index.md
@@ -1,6 +1,7 @@
 ---
 title: "I Don't Like Coq's Documentation"
 date: 2021-11-24T21:48:59-08:00
+expirydate: 2021-11-24T21:48:59-08:00
 draft: true
 tags: ["Coq"]
 ---