From 06f0f9d9b1c0d440a40c6ff92e52ff37e1ed6dfc Mon Sep 17 00:00:00 2001
From: Jonathan McDowell <noodles@earth.li>
Date: Sun, 1 Apr 2012 15:21:10 -0700
Subject: [PATCH] Drop HISTORY file in /usr/share/doc; it's already present as
 changelog.gz

  Debian packaging cleanup.
---
 debian/changelog | 1 +
 debian/docs      | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index cd44eb4..d435bf8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 onak (0.4.0-1+bzr) unstable; urgency=low
 
   * Development build
+  * Drop HISTORY file in /usr/share/doc; it's already present as changelog.gz
 
  -- Jonathan McDowell <noodles@earth.li>  Sun, 24 Apr 2011 16:42:15 -0700
 
diff --git a/debian/docs b/debian/docs
index cf89c3b..bc64abd 100644
--- a/debian/docs
+++ b/debian/docs
@@ -2,5 +2,4 @@ BUGS
 README
 TODO
 PERFORMANCE
-HISTORY
 keys/noodles.key
-- 
2.39.5