summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRod Kay2023-06-19 23:34:25 +1000
committerRod Kay2023-06-19 23:34:25 +1000
commit738b012cc894194f85aaca106cb2f196daec1ee7 (patch)
tree06b557aae81fecbb8b7c53041333d050d89ba885
parentce83197f89dfbb7f32515280445eaa3e25eec51c (diff)
downloadaur-738b012cc894194f85aaca106cb2f196daec1ee7.tar.gz
Re-enable docs generation.
-rw-r--r--PKGBUILD8
1 files changed, 5 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index af0cd2abf402..af910e3163f8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -10,8 +10,10 @@ url=https://github.com/AdaCore/gtkada
arch=(i686 x86_64)
license=(GPL3 custom)
-depends=(gcc-ada gtk3)
-makedepends=(gprbuild-toolbox gnatdoc)
+depends=(gcc-ada
+ gtk3)
+makedepends=(gprbuild-toolbox
+ gnatdoc)
source=(https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/$pkgname-$pkgver-20230428-165F0-src.tar.gz
Makefile.in-patch
@@ -49,7 +51,7 @@ build()
# Gnatdoc appears broken when trying to build docs. Disabling docs til fixed.
#
-# make docs
+ make docs
}