Update README to reflect move to GitHub.

2 files changed, 29 insertions, 15 deletions

diff --git a/README b/README
deleted file mode 100644
index 95dcf32e..00000000
--- a/README
+++ /dev/null
@@ -1,15 +0,0 @@
-$Id$
-
-RPKI Toolkit
-
-See:
-
-- The primary documentation at https://trac.rpki.net/ (recommended),
-
-- The PDF manual in doc/manual.pdf, or
-
-- The flat text pages doc/doc.RPKI.RP.rpki-rtr
-
-For the impatient: installation instructions are in
-doc/doc.RPKI.Installation, but be warned that you'll have to read more
-of the manual to configure the software after you've installed it.
diff --git a/README.md b/README.md
new file mode 100644
index 00000000..808edcf8
--- /dev/null
+++ b/README.md
@@ -0,0 +1,29 @@
+# Dragon Research Labs RPKI Toolkit
+
+This is the "rpki.net" toolkit developed and maintained primarily by
+Dragon Research Labs.  It's had several other names over the years
+("DRL RPKI toolkit", "ISC RPKI toolkit", etc), but it's the same
+toolkit under the same BSD-style license, now moved to GitHub.
+
+## Documentation
+
+You can find documentation salvaged from the old wiki in the doc/
+subdirectory: see the README in that directory for details.
+
+## Binary packages
+
+Binary packages for Ubuntu Xenial and Debian Jessie are available from
+https://download.rpki.net/APTng/.
+
+The source packaging scripts for FreeBSD are a bit stale, someday
+we'll fix that.
+
+## Thanks
+
+From 2006 through 2008, this work was funded by [ARIN](http://www.arin.net/).
+
+From 2009 through 2016, this work was funded by [DHS](http://www.dhs.gov/).
+
+Special thanks to Michael Elkins, who wrote the web GUI and generally
+served as a second brain and second set of eyeballs on a long list of
+thorny technical problems.