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

27 lines
1.2 KiB
HTML
Raw Normal View History

website-build: build.sh: switch to GNU Boot repositories. Since the website and the images were merged in GNU boot respectively in site/ and www/, we can now modify GNU boot to only be cloned once to build the website. The image path was also modified to make images work both in the local served website and at gnu.org and also to minimize the differences between the test and deployment setups. Libreboot.at also hosted a copy of Untitled to make it simple to control the revision being used. But in the longer term, it would be a bad idea to do that again for GNU boot since there are plans to convert the website and/or documentation to the texinfo format, and so at some point Untitled will stop being used, and we don't want to end up with a git repository that needs to be kept for historic reasons but that is unused. Since the website isn't ready we also have a redirection to Savannah to make sure that visitors are redirected to something meaningful. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> Neox: Suggested the split in smaller commits and various ways to do that (including some that were used). Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2023-08-17 01:25:02 +02:00
<!DOCTYPE html>
<html>
website-build: index.html: add license header and add the GFDL 1.3+. This file is included in the GNU Boot website which is under the GFDL 1.3+, so to simplify license compliance it's easier to also relicense it under the same license than the other files in the website. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2024-05-21 16:56:35 +02:00
<!-- Copyright (C) 2022-2023 Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
--
-- This file is free software: you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation, either version 3 of the License, or
-- (at your option) any later version, or (at your option) the GNU Free
-- Documentation License, Version 1.3 or any later version published by
-- the Free Software Foundation; with no Invariant Sections,
-- no Front-Cover Texts, and no Back-Cover Texts.
--
-- This file is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
--
-- A copy of the GPLv3 license is included in website-build/COPYING file and
-- the GFDL1.3 can be found in the website/COPYING file.
--
-- You should have received a copy of these license along with this program.
-- If not, see <https://www.gnu.org/licenses/>.
-->
website-build: build.sh: switch to GNU Boot repositories. Since the website and the images were merged in GNU boot respectively in site/ and www/, we can now modify GNU boot to only be cloned once to build the website. The image path was also modified to make images work both in the local served website and at gnu.org and also to minimize the differences between the test and deployment setups. Libreboot.at also hosted a copy of Untitled to make it simple to control the revision being used. But in the longer term, it would be a bad idea to do that again for GNU boot since there are plans to convert the website and/or documentation to the texinfo format, and so at some point Untitled will stop being used, and we don't want to end up with a git repository that needs to be kept for historic reasons but that is unused. Since the website isn't ready we also have a redirection to Savannah to make sure that visitors are redirected to something meaningful. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> Neox: Suggested the split in smaller commits and various ways to do that (including some that were used). Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2023-08-17 01:25:02 +02:00
<head>
Deploy the website on https://gnu.org/software/gnuboot/. Since we now have a very visible banner that indicates which pages have been not been reviewed, and contribution instructions on how to fix that, we are ready to publish the website. Right now the deploy path of the website isn't configurable as this would require some form of templating or processing of the markdown files, so the website was simply moved from gnu.org/software/gnuboot/test to gnu.org/software/gnuboot. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2023-11-16 15:47:35 +01:00
<meta http-equiv="Refresh" content="0; url='https://gnu.org/software/gnuboot/web/'" />
website-build: build.sh: switch to GNU Boot repositories. Since the website and the images were merged in GNU boot respectively in site/ and www/, we can now modify GNU boot to only be cloned once to build the website. The image path was also modified to make images work both in the local served website and at gnu.org and also to minimize the differences between the test and deployment setups. Libreboot.at also hosted a copy of Untitled to make it simple to control the revision being used. But in the longer term, it would be a bad idea to do that again for GNU boot since there are plans to convert the website and/or documentation to the texinfo format, and so at some point Untitled will stop being used, and we don't want to end up with a git repository that needs to be kept for historic reasons but that is unused. Since the website isn't ready we also have a redirection to Savannah to make sure that visitors are redirected to something meaningful. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> Neox: Suggested the split in smaller commits and various ways to do that (including some that were used). Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2023-08-17 01:25:02 +02:00
</head>
</html>