2012-06-14 17:29:54 +02:00
|
|
|
# Description: gtk documentation system.
|
2020-06-01 17:45:48 +02:00
|
|
|
# URL: https://gitlab.gnome.org/GNOME/gtk-doc
|
2014-11-10 13:28:07 +01:00
|
|
|
# Maintainer: Danny Rawlins, crux at romster dot me
|
2019-11-18 22:53:52 +01:00
|
|
|
# Depends on: docbook-xsl itstool openjade python3-six python3-pygments
|
2012-06-14 17:29:54 +02:00
|
|
|
|
|
|
|
name=gtk-doc
|
2019-11-13 02:40:12 +01:00
|
|
|
version=1.32
|
2019-11-18 22:53:52 +01:00
|
|
|
release=2
|
2018-04-23 11:09:17 +02:00
|
|
|
source=(https://download.gnome.org/sources/$name/$version/$name-$version.tar.xz)
|
2012-06-14 17:29:54 +02:00
|
|
|
|
|
|
|
build() {
|
|
|
|
cd $name-$version
|
2018-04-23 11:09:17 +02:00
|
|
|
|
2012-06-14 17:29:54 +02:00
|
|
|
./configure --prefix=/usr
|
2018-04-23 11:09:17 +02:00
|
|
|
|
2012-06-14 17:29:54 +02:00
|
|
|
make
|
|
|
|
make DESTDIR=$PKG install
|
2013-11-20 13:54:00 +01:00
|
|
|
|
|
|
|
rm -r $PKG/usr/share/help
|
2012-06-14 17:29:54 +02:00
|
|
|
}
|