blob: d504326b7b43e5b07a5741bde4ad7549e66327ea (
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
|
From 0888050e8f3fc8c07e42331651c970d80c8d6a90 Mon Sep 17 00:00:00 2001
From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
Date: Wed, 25 Jan 2023 18:42:09 +0100
Subject: [PATCH] TOP_Make.SH: add target install-docvi, install-doctex [#2444]
---
config/TOP_Make.SH | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/config/TOP_Make.SH b/config/TOP_Make.SH
index d2543c91eb..e60fd5f6ee 100644
--- a/config/TOP_Make.SH
+++ b/config/TOP_Make.SH
@@ -42,7 +42,7 @@ all::
@\$(MAKE) gp
@-cd doc && \$(MAKE) doc
-gp bench test-kernel test-all install cleanall cleanobj cleantest nsis link-data install-bin install-doc install-docpdf install-nodata install-data install-lib-sta install-bin-sta dobench dyntest-all statest-all tune $top_test_extra $top_dotest_extra::
+gp bench test-kernel test-all install cleanall cleanobj cleantest nsis link-data install-bin install-doc install-doctex install-docdvi install-docpdf install-nodata install-data install-lib-sta install-bin-sta dobench dyntest-all statest-all tune $top_test_extra $top_dotest_extra::
@dir=\`config/objdir\`; echo "Making \$@ in \$\$dir";\\
if test ! -d \$\$dir; then echo "Please run Configure first!"; exit 1; fi;\\
cd \$\$dir && \$(MAKE) \$@
--
2.30.2
|
