Generate documentation.

2 files changed, 4 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c90e31b9b19c..1bfb9a940657 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -9,6 +9,8 @@ pkgbase = gtkada
 	license = GPL3
 	license = custom
 	makedepends = gprbuild-toolbox
+	makedepends = gnatdoc
+	makedepends = gnatcoll-gnatinspect
 	depends = gcc-ada
 	depends = gtk3
 	source = https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/gtkada-24.0w-20230428-165F0-src.tar.gz
diff --git a/PKGBUILD b/PKGBUILD
index 9d59665da58f..afe834b29e2b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -12,7 +12,7 @@ arch=(i686 x86_64)
 license=(GPL3 custom)
 
 depends=(gcc-ada gtk3)
-makedepends=(gprbuild-toolbox)
+makedepends=(gprbuild-toolbox gnatdoc gnatcoll-gnatinspect)
 
 source=(https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/$pkgname-$pkgver-20230428-165F0-src.tar.gz
         Makefile.in-patch)
@@ -44,10 +44,7 @@ build()
     # which results in build artifacts being overwritten.
     #
     make -j1 GPRBUILD_SWITCHES="-R -cargs $ADA_FLAGS -largs $LDFLAGS -gargs"
-
-    # Defer making docs til 'gnatdoc' is split out of gnatstudio source.
-    #
-    # make docs
+    make docs
 }