From c0f1c161cd53f60f384ec577198c7075ae00e35d Mon Sep 17 00:00:00 2001 From: tnut Date: Thu, 10 Feb 2011 16:08:07 +0100 Subject: gnome, suppression des ports --- gnome/gnome-user-docs/post-install | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 gnome/gnome-user-docs/post-install (limited to 'gnome/gnome-user-docs/post-install') diff --git a/gnome/gnome-user-docs/post-install b/gnome/gnome-user-docs/post-install deleted file mode 100755 index 22dc1753f..000000000 --- a/gnome/gnome-user-docs/post-install +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -port=gnome-user-docs - -# scrolls -SCROLLS="`pkginfo -l $port | grep usr/share/omf/.*\.omf$`" - -for SCROLL in $SCROLLS -do - /usr/bin/scrollkeeper-install -q -p /var/lib/scrollkeeper /$SCROLL > /dev/null -done - -# End of file -- cgit v1.2.3-70-g09d2