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

3 files changed, 18 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 374504b59461..d050e77c6966 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -14,9 +14,9 @@ pkgbase = gtkada
 	depends = gtk3
 	source = https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/gtkada-24.0w-20230428-165F0-src.tar.gz
 	source = Makefile.in-patch
-	source = docs_gtkada_rm_Makefile-patch
+	source = docs_Makefile-patch
 	sha256sums = 596d19722c0b7f6ec67d0f00918a2bfb0ae0fb7352b2182a290d5dcdf31e1ba9
 	sha256sums = f525df1f7c319f1dc95ddafe1a73d961ce162c6171c97b0df3ae756122ca76d4
-	sha256sums = SKIP
+	sha256sums = 65b8f2d56ad688b369ae13446e9c4a839604ab6b1836aa85a385f59515d54f03
 
 pkgname = gtkada
diff --git a/PKGBUILD b/PKGBUILD
index af910e3163f8..907a8c0c4ee9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -17,10 +17,10 @@ makedepends=(gprbuild-toolbox
 
 source=(https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/$pkgname-$pkgver-20230428-165F0-src.tar.gz
         Makefile.in-patch
-        docs_gtkada_rm_Makefile-patch)
+        docs_Makefile-patch)
 sha256sums=(596d19722c0b7f6ec67d0f00918a2bfb0ae0fb7352b2182a290d5dcdf31e1ba9
             f525df1f7c319f1dc95ddafe1a73d961ce162c6171c97b0df3ae756122ca76d4
-            SKIP)
+            65b8f2d56ad688b369ae13446e9c4a839604ab6b1836aa85a385f59515d54f03)
 
 _gtkada_src=gtkada-$pkgver-20230428-165F0-src
 
@@ -29,7 +29,10 @@ prepare()
 {
     cd $srcdir/$_gtkada_src
     patch -Np1 -i ../Makefile.in-patch
-    patch -Np0 -i ../docs_gtkada_rm_Makefile-patch
+
+    # Gnatdoc appears broken when trying to build reference manual docs. Disabling til fixed.
+    #
+    patch -Np0 -i ../docs_Makefile-patch
 }
 
 
@@ -49,8 +52,6 @@ build()
     #
     make -j1 GPRBUILD_SWITCHES="-R -cargs $ADA_FLAGS -largs $LDFLAGS -gargs"
 
-    # Gnatdoc appears broken when trying to build docs. Disabling docs til fixed.
-    #
     make docs
 }
 
diff --git a/docs_Makefile-patch b/docs_Makefile-patch
new file mode 100644
index 000000000000..4a55d43c2ff9
--- /dev/null
+++ b/docs_Makefile-patch
@@ -0,0 +1,10 @@
+--- docs/Makefile	2023-04-27 11:28:04.735503200 +1000
++++ docs/Makefile-new	2023-06-20 00:27:32.509108715 +1000
+@@ -1,6 +1,6 @@
+ 
+ all::
+-	${MAKE} -C gtkada_rm
++#	${MAKE} -C gtkada_rm
+ 	${MAKE} -C gtkada_ug html latexpdf
+ 
+ clean::