diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -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" \ |