GNUBoot/gnuboot
GNUBoot
/
gnuboot
mirror of https://git.savannah.gnu.org/git/gnuboot.git
2
1
Fork 0
Code Issues Releases Activity

website-build: README: fix introduction. 

Before being merged with the commit
dc6e1f32c1 ("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
20d122e94a ("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 20d122e94a
("website-build: use website from local git repository.")

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2024-05-19 14:33:22 +02:00
parent 851289241b
commit be96a95bf9
Signed by: GNUtoo
GPG Key ID: 5F5DFCC14177E263
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
website-build/README
View File

@ -2,10 +2,11 @@
This project enables to easily build and deploy the GNU Boot website This project enables to easily build and deploy the GNU Boot website
with very few commands. with very few commands.
If you want to test your own modifications, you either need to use the If you want to test your own modifications to the dependency being
configure options to use external repositories that have your used, you either need to use the configure options to use external
modifications, or you could also modify the build.sh script to use repositories that have your modifications, or you could also modify
different git repositories and/or revisions. the build.sh script to use different git repositories and/or
revisions.
== Local deployments == == Local deployments ==
Here's how to deploy the website in a local webserver: Here's how to deploy the website in a local webserver: