1 files changed, 24 insertions, 0 deletions
diff --git a/extra/gtksourceview-sharp-2.0/gtksourceview-sharp-2.0.install b/extra/gtksourceview-sharp-2.0/gtksourceview-sharp-2.0.install
new file mode 100644
index 000000000..4d9d891f6
--- /dev/null
+++ b/extra/gtksourceview-sharp-2.0/gtksourceview-sharp-2.0.install
@@ -0,0 +1,24 @@
+post_install() {
+  echo "recreating monodoc index ... this could take a while..."
+  monodoc --make-index > /dev/null 2>&1 
+}
+
+# arg 1:  the new package version
+# arg 2:  the old package version
+post_upgrade() {
+  post_install $1
+}
+
+pre_remove() {
+  /bin/true
+}
+
+post_remove() {
+  echo "recreating monodoc index ... this could take a while..."
+  monodoc --make-index > /dev/null 2>&1 
+}
+
+op=$1
+shift
+
+$op $*