From 25c7b7caeb3f20929322beb8cc5e4d1e061a0650 Mon Sep 17 00:00:00 2001 From: Denis 'GNUtoo' Carikli Date: Sun, 19 May 2024 14:33:22 +0200 Subject: [PATCH] website-build: README: fix introduction. Before being merged with the commit dc6e1f32c151c5245e5936fb4e80a2b5f32984e2 ("Import website-build to build the GNU Boot website."), website-build was a separate git repository. And so, even after the merge, until the commit 20d122e94a39bfc0cbecd1bf8f39bafa7e597c72 ("website-build: use website from local git repository."), it still worked in the same way and still downloaded the website from git. However since that commit, website-build stopped downloading the website from git and built it from the current tree instead, but the instructions were not updated This was broken by commit 20d122e94a39bfc0cbecd1bf8f39bafa7e597c72 ("website-build: use website from local git repository.") Signed-off-by: Denis 'GNUtoo' Carikli --- website-build/README | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/website-build/README b/website-build/README index eab2928..1e69685 100644 --- a/website-build/README +++ b/website-build/README @@ -2,10 +2,11 @@ This project enables to easily build and deploy the GNU Boot website with very few commands. -If you want to test your own modifications, you either need to use the -configure options to use external repositories that have your -modifications, or you could also modify the build.sh script to use -different git repositories and/or revisions. +If you want to test your own modifications to the dependency being +used, you either need to use the configure options to use external +repositories that have your modifications, or you could also modify +the build.sh script to use different git repositories and/or +revisions. == Local deployments == Here's how to deploy the website in a local webserver: