[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v1 01/18] website: configure.ac: check for sed.
From: |
Denis 'GNUtoo' Carikli |
Subject: |
[PATCH v1 01/18] website: configure.ac: check for sed. |
Date: |
Sun, 13 Oct 2024 17:13:06 +0200 |
In the Makefile we have the following:
index.html: index.html.tmpl
sed -e "s#WEBSITE_PREFIX#$(WEBSITE_PREFIX)#g" "$^" > "$@"
so we need to make sure that 'sed' is available.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
website/configure.ac | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/website/configure.ac b/website/configure.ac
index 74d7326..3883d3a 100644
--- a/website/configure.ac
+++ b/website/configure.ac
@@ -90,6 +90,10 @@ AC_CHECK_PROG([FOUND_REALPATH], [realpath], [realpath])
AS_IF([test x"$FOUND_REALPATH" = x""],
[AC_MSG_ERROR([realpath was not found in PATH ($PATH)])])
+AC_CHECK_PROG([FOUND_SED], [sed], [sed])
+AS_IF([test x"$FOUND_SED" = x""],
+ [AC_MSG_ERROR([sed was not found in PATH ($PATH)])])
+
AC_CHECK_PROG([FOUND_TAR], [tar], [tar])
AS_IF([test x"$FOUND_TAR" = x""],
[AC_MSG_ERROR([tar was not found in PATH ($PATH)])])
--
2.46.0
- [PATCH v1 00/18] More website patches, Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 04/18] website: configure.ac: always check for cat., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 02/18] website: configure.ac: always check for rm., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 06/18] website: properly handle the dot dependency., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 05/18] website: configure.ac: always check for mkdir., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 08/18] website: review BSD page index and convert to GNU Boot point of view., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 10/18] website: review NetBSD page index and convert to GNU Boot point of view., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 01/18] website: configure.ac: check for sed.,
Denis 'GNUtoo' Carikli <=
- [PATCH v1 03/18] website: configure.ac: always check for printf., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 13/18] website: misc: codenames: review and add GNU Boot context., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 07/18] website: remove history/git-history.jpg, Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 09/18] website: review OpenBSD page index and convert to GNU Boot point of view., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 12/18] website: move contrib.md in history, rename git.md to contribute.md., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 14/18] website: docs: grub: review and add GNU Boot context., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 15/18] packages: website: release: help: fix program name., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 17/18] website: docs: build: fix link syntax., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 18/18] website: Makefile.am: serve: update target name in message., Denis 'GNUtoo' Carikli, 2024/10/13
- [PATCH v1 11/18] website: review FreeBSD page index and convert to GNU Boot point of view., Denis 'GNUtoo' Carikli, 2024/10/13