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