install index.html in site/software/gnuboot/

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2024-05-20 14:02:38 +02:00
parent d9571f6c4e
commit e08e393d6b
Signed by: GNUtoo
GPG Key ID: 5F5DFCC14177E263
2 changed files with 2 additions and 0 deletions

View File

@ -33,5 +33,7 @@
#:readers (list untitled-reader) #:readers (list untitled-reader)
#:builders (list (gnuboot-website #:builders (list (gnuboot-website
#:prefix "software/gnuboot/web") #:prefix "software/gnuboot/web")
(static-directory "html"
"software/gnuboot/")
(static-directory "static" (static-directory "static"
"software/gnuboot/web/static"))) "software/gnuboot/web/static")))