From 27662bbd5b1381e0e2b00e060bdb1c873cb22141 Mon Sep 17 00:00:00 2001
From: Russ Allbery <eagle@eyrie.org>
Date: Sun, 17 May 2020 17:17:24 -0700
Subject: Switch to GitHub Actions for CI

Regenerate the documentation with patched DocKnot 3.04 to pick up
the new status badge, which fixes a few other issues with
documentation generation.
---
 ci/README | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 ci/README

(limited to 'ci/README')

diff --git a/ci/README b/ci/README
new file mode 100644
index 0000000..8b2dde6
--- /dev/null
+++ b/ci/README
@@ -0,0 +1,2 @@
+The files in this directory are used for CI testing.  ci/install installs
+the prerequisite packages, and ci/test runs the tests.
-- 
cgit v1.2.3