Merge pull request #705 from jam7/update/mandb

Update mandb to 2.7.6.1 and strip binary and libraries.

packages/mandb.rb

@@ -3,9 +3,9 @@ require 'package'
 class Mandb < Package
   description 'mandb is used to initialise or manually update index database caches that are usually maintained by man.'
   homepage ''
-  version '2.7.6'
-  source_url 'https://download.savannah.gnu.org/releases/man-db/man-db-2.7.6.tar.xz'
-  source_sha1 '35a10f80d5cf6411d5c73376fcddcec1539e788a'
+  version '2.7.6.1'
+  source_url 'http://download.savannah.gnu.org/releases/man-db/man-db-2.7.6.1.tar.xz'
+  source_sha1 '919dcb34d604faac9b18a38ead07f457d0dab501'
 
   depends_on 'libpipeline'
   depends_on 'pkgconfig'
@@ -19,10 +19,11 @@ class Mandb < Package
       '--disable-cache-owner',                                # we can't create the user 'man'
       '--with-pager=/usr/local/bin/less'                      # the pager is not at the default location
     system 'make'
+    system "find . -name 'lib*.so*' -print | xargs strip -S"
   end
 
   def self.install
-    system "make", "DESTDIR=#{CREW_DEST_DIR}", "install"
+    system "make", "DESTDIR=#{CREW_DEST_DIR}", "install-strip"
     puts ""
     puts "You will have to change the default PAGER environment variable to be able to use mandb:"
     puts "echo \"export PAGER=/usr/local/bin/less\" >> ~/.bashrc && . ~/.bashrc"