diff options
| author | Mazhar Hussain | 2022-11-06 11:08:24 +0500 |
|---|---|---|
| committer | Mazhar Hussain | 2022-11-06 11:08:24 +0500 |
| commit | 39525f0729d6d452360d2c7c0bc297a2c0da3358 (patch) | |
| tree | 4d0b9e75aec1e819f8e4092dc65262ff15dc94e5 | |
| download | aur-39525f0729d6d452360d2c7c0bc297a2c0da3358.tar.gz | |
Initial Commit
| -rw-r--r-- | .SRCINFO | 21 | ||||
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | PKGBUILD | 31 | ||||
| -rw-r--r-- | gnome-developer-www.install | 14 |
4 files changed, 70 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..a8a966adcc69 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +pkgbase = gnome-developer-www + pkgdesc = GNOME development website + pkgver = 340.64b8ac4 + pkgrel = 1 + url = https://developer.gnome.org + install = gnome-developer-www.install + arch = any + license = BSD + license = MIT + license = OFL + license = custom + makedepends = git + makedepends = python-sphinx + makedepends = python-sphinx-furo + makedepends = python-sphinx-tabs + optdepends = apache: Web server + optdepends = nginx: Web server + source = gnome-developer-www::git+https://gitlab.gnome.org/Teams/documentation/developer-www.git + md5sums = SKIP + +pkgname = gnome-developer-www diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..f518eb9b6352 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +gnome-developer-www-*.pkg.tar.zst +gnome-developer-www/ +src +pkg diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..d1f1841a1d87 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: Mazhar Hussain <mmazharhussainkgb1145@gmail.com> +pkgname=gnome-developer-www +pkgver=340.64b8ac4 +pkgrel=1 +pkgdesc="GNOME development website" +arch=(any) +url="https://developer.gnome.org" +license=(BSD MIT OFL custom) +makedepends=(git python-sphinx python-sphinx-furo python-sphinx-tabs) +optdepends=('apache: Web server' 'nginx: Web server') +install=$pkgname.install +source=("$pkgname"::"git+https://gitlab.gnome.org/Teams/documentation/developer-www.git") +md5sums=('SKIP') + +pkgver() { + cd "$srcdir/$pkgname" + echo $(git rev-list --count HEAD).$(git rev-parse --short HEAD) +} + +build() { + cd "$srcdir/$pkgname" + ./build.sh --incremental +} + +package() { + cd "$srcdir/$pkgname" + mkdir -p "$pkgdir"/srv/http "$pkgdir"/usr/share/licenses + rm -rf $(find build -name .doctrees) + cp -rT build "$pkgdir"/srv/http/gnome-developer-www + cp -rT LICENSES "$pkgdir"/usr/share/licenses/gnome-developer-www +} diff --git a/gnome-developer-www.install b/gnome-developer-www.install new file mode 100644 index 000000000000..482421e76ea8 --- /dev/null +++ b/gnome-developer-www.install @@ -0,0 +1,14 @@ +post_install() { + bold=$'\e[1m' + normal=$'\e[0m' + + echo "${bold}To browse the website,${normal}" + echo "If a web server is running, visit" + echo " http://localhost/gnome-developer-www" + echo "Otherwise, visit" + echo " file:///srv/http/gnome-developer-www" +} + +post_upgrade() { + post_install +} |