gnuboot-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH v1 10/18] dependencies: pureos-trisquel: Add texinfo for the webs


From: Denis 'GNUtoo' Carikli
Subject: [PATCH v1 10/18] dependencies: pureos-trisquel: Add texinfo for the website.
Date: Fri, 29 Nov 2024 20:14:24 +0100

Without that fix we have the following issue when building a release:

    ROM image release archives available at release/roms/

    checking for a BSD-compatible install... /usr/bin/install -c
    checking whether build environment is sane... yes
    checking for a race-free mkdir -p... /usr/bin/mkdir -p
    checking for gawk... gawk
    checking whether make sets $(MAKE)... yes
    checking whether make supports nested variables... yes
    checking for awk... awk
    [...]
    checking for makeinfo... no

This issue was introduced by the commit
08b9e449e94e99c0ec924e2026dc650b63ddc3e5 ("Add a minimal GNU Boot
manual.").

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 resources/dependencies/pureos-trisquel | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/resources/dependencies/pureos-trisquel 
b/resources/dependencies/pureos-trisquel
index f986d6cd..5c0e4816 100755
--- a/resources/dependencies/pureos-trisquel
+++ b/resources/dependencies/pureos-trisquel
@@ -132,7 +132,8 @@ install_packages gawk git grep lzip make sed tar xz-utils # 
u-boot-libre
 install_packages \
     graphicsmagick \
     graphviz \
-    pandoc
+    pandoc \
+    texinfo
 
 if [ -n "${to_install}" ] ; then
     apt install -y ${to_install}
-- 
2.46.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]