gnuboot

Author	SHA1	Message	Date
Denis 'GNUtoo' Carikli	873f3ffca5	site: rename to website. First this is more consistent as we already have a website-build directory. Then it is also useful for migrating to haunt as 'haunt build' puts the generated website in a 'site/' directory, so without this rename, when the migration would be complete we'd have site/site instead of website/site. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>	2024-05-21 03:28:50 +02:00
Adrien Bourmault	1d227b90c4	site/sitemap.include: replace old site name with project name Signed-off-by: Adrien 'neox' Bourmault <neox@gnu.org> Acked-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>	2023-11-30 18:51:37 +01:00
Denis 'GNUtoo' Carikli	39aff0f989	Use the new URL. The URL was changed with the following command: $ sed 's#libreboot.org#libreboot.srht.site#g' \ -i \ $(git ls-files \| xargs grep "libreboot\.org" \| sed 's/:.*//' \| sort -u) If the website is moved again in the future we will need to change the URL again in the same way. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>	2023-03-17 16:56:25 +01:00
Leah Rowe	501e77d996	libreboot site new one	2021-05-23 22:34:47 +01:00