From 305c31d0a0cea55cf197d692dfaa477a40286a55 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 23 Feb 2019 11:48:16 +0000
Subject: [PATCH] strip

---
 debian/libnlopt-dev.links | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/libnlopt-dev.links b/debian/libnlopt-dev.links
index e368ff7..2f2e686 100644
--- a/debian/libnlopt-dev.links
+++ b/debian/libnlopt-dev.links
@@ -1 +1 @@
-usr/share/doc/libnlopt0 usr/share/doc/libnlopt-dev
+#usr/share/doc/libnlopt0 usr/share/doc/libnlopt-dev
-- 
2.30.2