Gnatdoc appears broken when trying to build docs. Disabling docs til fixed.

1 files changed, 4 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 421a65dd5d1b..af0cd2abf402 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -46,7 +46,10 @@ build()
     # which results in build artifacts being overwritten.
     #
     make -j1 GPRBUILD_SWITCHES="-R -cargs $ADA_FLAGS -largs $LDFLAGS -gargs"
-    make docs
+
+    # Gnatdoc appears broken when trying to build docs. Disabling docs til fixed.
+    #
+#    make docs
 }