diff options
author | Rod Kay | 2023-06-19 23:34:25 +1000 |
---|---|---|
committer | Rod Kay | 2023-06-19 23:34:25 +1000 |
commit | 738b012cc894194f85aaca106cb2f196daec1ee7 (patch) | |
tree | 06b557aae81fecbb8b7c53041333d050d89ba885 | |
parent | ce83197f89dfbb7f32515280445eaa3e25eec51c (diff) | |
download | aur-738b012cc894194f85aaca106cb2f196daec1ee7.tar.gz |
Re-enable docs generation.
-rw-r--r-- | PKGBUILD | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -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 } |