Add docs.

2 files changed, 5 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b06b79955c09..418a20fed9f0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = gprbuild
 	pkgdesc = Builder for multi-language systems.
 	pkgver = 24.0w
-	pkgrel = 3
+	pkgrel = 4
 	epoch = 1
 	url = https://github.com/AdaCore/gprbuild/
 	arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 54ed898c2092..3c509e32c328 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,7 @@ pkgbase=gprbuild
 pkgdesc="Builder for multi-language systems."
 pkgname=(libgpr gprbuild gprtools gprname gprslave)
 pkgver=24.0w
-pkgrel=3
+pkgrel=4
 epoch=1
 
 arch=(i686 x86_64)
@@ -62,6 +62,9 @@ build()
 
     make GPRBUILD_OPTIONS="$GPRBUILD_OPTIONS" libgpr.build
     make GPRBUILD_OPTIONS="$GPRBUILD_OPTIONS" build
+    
+    cd doc
+    make html txt info texinfo
 }