From 6445fbf732c259c205c74710486fa7c24adb0edc Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Tue, 6 Oct 2020 14:33:14 -0400
Subject: [PATCH] Fix #3381: make documentation read-only

---
 docs/.dir-locals.el | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 docs/.dir-locals.el

diff --git a/docs/.dir-locals.el b/docs/.dir-locals.el
new file mode 100644
index 000000000..89305ccd7
--- /dev/null
+++ b/docs/.dir-locals.el
@@ -0,0 +1 @@
+((org-mode (buffer-read-only . t)))