diff options
-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 } |