From b1dd93329beb416004b01547bc95b2934ec9bcc3 Mon Sep 17 00:00:00 2001
From: geeksville <kevinh@geeksville.com>
Date: Wed, 12 Feb 2020 10:57:03 -0800
Subject: [PATCH] docs updates

---
 docs/editing-this-site.md | 7 +++++++
 docs/file.txt             | 0
 2 files changed, 7 insertions(+)
 create mode 100644 docs/editing-this-site.md
 delete mode 100644 docs/file.txt

diff --git a/docs/editing-this-site.md b/docs/editing-this-site.md
new file mode 100644
index 000000000..4d72550da
--- /dev/null
+++ b/docs/editing-this-site.md
@@ -0,0 +1,7 @@
+If you'd like to edit this website and test it locally:
+
+Per https://help.github.com/en/github/working-with-github-pages/testing-your-github-pages-site-locally-with-jekyll
+
+* follow instructions here: https://jekyllrb.com/docs/installation/ubuntu/
+* run "run-locally.sh"
+* view webpages at localhost:4000
diff --git a/docs/file.txt b/docs/file.txt
deleted file mode 100644
index e69de29bb..000000000