summarylogtreecommitdiffstats
path: root/docs_gtkada_rm_Makefile-patch
blob: f011d54cefe19c9d859177b5f24bdd05ff12db9b (plain)
1
2
3
4
5
6
7
8
9
10
11
--- docs/gtkada_rm/Makefile	2023-04-27 11:28:04.735503200 +1000
+++ docs/gtkada_rm/Makefile-new	2023-06-16 16:26:36.844060535 +1000
@@ -6,7 +6,7 @@
 docgen:
 	$(MKDIR) gtkada_rm
 	$(MKDIR) doc_obj
-	gnatdoc -Pgtkada_documentation.gpr --enable-build
+	gnatdoc4 -Pgtkada_documentation.gpr
 
 docgen_clean:
 	$(RM) -rf doc_obj/*