[Pkg-cli-libs-commits] [SCM] webkit-sharp branch, master, updated. debian/0.3-3

[Jo Shields]

The following commit has been merged in the master branch:
commit 7143bb1562db535f07c9e5766633f335adf7a571
Author: Jo Shields <directhex at apebox.org>
Date:   Mon Sep 27 11:56:05 2010 +0100

    Remove postinst scripts for monodoc-webkit-manual. We use dpkg triggers to handle manuals now, and having these lying around can not only cause a needless second call to update the monodoc search index - it can cause package installation to fail on clean systems where GTK# has not yet run its postinst.

diff --git a/debian/monodoc-webkit-manual.postinst b/debian/monodoc-webkit-manual.postinst
deleted file mode 100644
index 3f99db4..0000000
--- a/debian/monodoc-webkit-manual.postinst
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-set -e
-
-if [ "$1" = "configure" ]; then
-	# Rebuild the index
-	if [ -x /usr/bin/monodoc ]; then
-		echo "generating monodoc search index..."
-		/usr/bin/monodoc --make-index > /dev/null
-	fi
-fi
-
-#DEBHELPER#
diff --git a/debian/monodoc-webkit-manual.postrm b/debian/monodoc-webkit-manual.postrm
deleted file mode 100644
index 5452a02..0000000
--- a/debian/monodoc-webkit-manual.postrm
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-set -e
-
-if [ "$1" = "remove" ]; then
-	# Rebuild the index
-	if [ -x /usr/bin/monodoc ]; then
-		echo "generating monodoc search index..."
-		/usr/bin/monodoc --make-index > /dev/null
-	fi
-fi
-                
-#DEBHELPER#

-- 
webkit-sharp