diff options
Diffstat (limited to 'xorg')
-rw-r--r-- | xorg/xorg-font-micro-misc/.footprint | 6 | ||||
-rw-r--r-- | xorg/xorg-font-micro-misc/.md5sum | 1 | ||||
-rw-r--r-- | xorg/xorg-font-micro-misc/Pkgfile | 20 | ||||
-rwxr-xr-x | xorg/xorg-font-micro-misc/post-install | 4 |
4 files changed, 31 insertions, 0 deletions
diff --git a/xorg/xorg-font-micro-misc/.footprint b/xorg/xorg-font-micro-misc/.footprint new file mode 100644 index 000000000..b880873f7 --- /dev/null +++ b/xorg/xorg-font-micro-misc/.footprint @@ -0,0 +1,6 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/lib/ +drwxr-xr-x root/root usr/lib/X11/ +drwxr-xr-x root/root usr/lib/X11/fonts/ +drwxr-xr-x root/root usr/lib/X11/fonts/misc/ +-rw-r--r-- root/root usr/lib/X11/fonts/misc/micro.pcf.gz diff --git a/xorg/xorg-font-micro-misc/.md5sum b/xorg/xorg-font-micro-misc/.md5sum new file mode 100644 index 000000000..eace68f43 --- /dev/null +++ b/xorg/xorg-font-micro-misc/.md5sum @@ -0,0 +1 @@ +8c8bffd7540f05caa0dbb4e6e1d6c58e font-micro-misc-1.0.0.tar.bz2 diff --git a/xorg/xorg-font-micro-misc/Pkgfile b/xorg/xorg-font-micro-misc/Pkgfile new file mode 100644 index 000000000..f70db774c --- /dev/null +++ b/xorg/xorg-font-micro-misc/Pkgfile @@ -0,0 +1,20 @@ +# Description: xorg font font-micro-misc +# URL: http://xorg.freedesktop.org +# Maintainer: Tilman Sauerbeck, tilman at crux dot nu +# Depends on: xorg-mkfontdir, xorg-mkfontscale + +name=xorg-font-micro-misc +version=1.0.0 +release=2 +source=(http://xorg.freedesktop.org/releases/individual/font/font-micro-misc-$version.tar.bz2) + +build() { + cd font-micro-misc-$version + + ./configure --prefix=/usr + + make + make DESTDIR=$PKG install + + rm -f $PKG/usr/lib/X11/fonts/misc/fonts.{dir,scale} +} diff --git a/xorg/xorg-font-micro-misc/post-install b/xorg/xorg-font-micro-misc/post-install new file mode 100755 index 000000000..7754e79fc --- /dev/null +++ b/xorg/xorg-font-micro-misc/post-install @@ -0,0 +1,4 @@ +#!/bin/sh + +mkfontdir /usr/lib/X11/fonts/misc +mkfontscale /usr/lib/X11/fonts/misc |