blob: ca364014a931bb217d282cb2bcdcf9e7466e2cbc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
From 4266bc917d79d20200d2873f7db110d9827250cb Mon Sep 17 00:00:00 2001
From: Xiretza <xiretza@xiretza.xyz>
Date: Sun, 24 May 2020 11:24:25 +0200
Subject: [PATCH 5/5] Fix recursive make in docs
---
docs/Makefile.in | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/docs/Makefile.in b/docs/Makefile.in
index 16e273e7f7..311a49c7de 100644
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -12,26 +12,26 @@ all: ug tutorial pg relnotes gnatdoc
static:
pg:
- make -C programmers_guide html
+ $(MAKE) -C programmers_guide html
relnotes:
- make -C release_notes singlehtml
+ $(MAKE) -C release_notes singlehtml
relnotes_17:
- make -C release_notes_17 singlehtml
+ $(MAKE) -C release_notes_17 singlehtml
relnotes_62:
- make -C release_notes_62 singlehtml
+ $(MAKE) -C release_notes_62 singlehtml
ug:
- make -C users_guide html latexpdf
+ $(MAKE) -C users_guide html latexpdf
gnatdoc:
- make -C ../gnatdoc/docs/users_guide html latexpdf
+ $(MAKE) -C ../gnatdoc/docs/users_guide html latexpdf
.PHONY: tutorial
tutorial:
- make -C tutorial html
+ $(MAKE) -C tutorial html
install:
$(MKDIR) $(docdir)
--
2.26.2
|