Install the developers manual.

1 files changed, 11 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 30fe972f8925..71a949cd9c8b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -28,8 +28,9 @@ build()
   export PYTHONPATH="$srcdir/langkit-$pkgver:$PYTHONPATH"
   python ada/manage.py generate
   python ada/manage.py build --build-mode=prod --gargs="-R -cargs $CFLAGS -largs $LDFLAGS -gargs"
-}
 
+  make -C dev_manual html
+}
 
 package()
 {
@@ -37,6 +38,15 @@ package()
 
   python ada/manage.py install --build-mode=prod "$pkgdir/usr"
 
+  # Install the developers manual
+  cd dev_manual/_build/html
+    
+  for file in $(find . -type f); do
+    install -m 644 -D ${file} "$pkgdir/usr/share/doc/$pkgname"/${file#source/}
+  done
+
+  cd "$srcdir/libadalang-$pkgver"
+
   # Install the license.
   install -D -m644     \
      "COPYING3"        \