blob: 4a55d43c2ff9ea14171de7fb1615eaa75216e00b (
plain)
1
2
3
4
5
6
7
8
9
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::
|