From cf01381428f41b724129b822739f6701ca2de559 Mon Sep 17 00:00:00 2001
From: "Yichun Zhang (agentzh)" <agentzh@gmail.com>
Date: Sun, 2 Jul 2017 20:10:01 -0700
Subject: [PATCH] plus: install the COPYRIGHT file as well.

---
 util/configure | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/util/configure b/util/configure
index ef0f70e..d62ad34 100755
--- a/util/configure
+++ b/util/configure
@@ -531,6 +531,9 @@ _END_
 
     cd 'build';
 
+    push @make_install_cmds, "mkdir -p \$(DESTDIR)$prefix/",
+        "cp $root_dir/COPYRIGHT \$(DESTDIR)$prefix/";
+
     # build 3rd-party C libraries if required
 
     if ($opts->{no_pool}) {