diff options
| -rw-r--r-- | extra/libgtop/.footprint | 1 | ||||
| -rw-r--r-- | extra/libgtop/Pkgfile | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/extra/libgtop/.footprint b/extra/libgtop/.footprint index 22e7a8acd..01e1ae0b9 100644 --- a/extra/libgtop/.footprint +++ b/extra/libgtop/.footprint @@ -85,7 +85,6 @@ drwxr-xr-x root/root usr/share/gtk-doc/html/libgtop/ -rw-r--r-- root/root usr/share/gtk-doc/html/libgtop/libgtop-white-paper-overview.html -rw-r--r-- root/root usr/share/gtk-doc/html/libgtop/libgtop-white-paper.html drwxr-xr-x root/root usr/share/info/ --rw-r--r-- root/root usr/share/info/dir.gz -rw-r--r-- root/root usr/share/info/libgtop2.info.gz drwxr-xr-x root/root usr/share/locale/ drwxr-xr-x root/root usr/share/locale/fr/ diff --git a/extra/libgtop/Pkgfile b/extra/libgtop/Pkgfile index fd13e8391..3f34ce0eb 100644 --- a/extra/libgtop/Pkgfile +++ b/extra/libgtop/Pkgfile @@ -18,5 +18,6 @@ build() { make DESTDIR=$PKG install install -v -m755 -d $GNOME_PREFIX/lib/libgtop/examples install -v -m755 examples/.libs/* $GNOME_PREFIX/lib/libgtop/examples + rm $PKG/usr/share/info/dir } |