chore: add favicon

2023-06-06 15:25:04 +02:00 · 2023-06-06 15:25:04 +02:00 · 543c68e4ef
parent 56a7a016d8
commit 543c68e4ef
3 changed files with 2 additions and 0 deletions
--- a/.github/favicon.ico
+++ b/.github/favicon.ico
--- a/docs/build.mk
+++ b/docs/build.mk
@ -2,3 +2,4 @@
 docs: 
 	-mkdir -p $(DOC_DIR)/html
 	naturaldocs -p $(DOC_DIR)/config -xi tmp -i . -o HTML $(DOC_DIR)/html
+	cp .github/favicon.ico $(DOC_DIR)/html/
--- a/docs/config/Menu.txt
+++ b/docs/config/Menu.txt
@ -39,6 +39,7 @@ Timestamp: Updated yyyy/mm/dd


 File: Introduction  (docs/intro.txt)
+Link: Source Code  (https://github.com/d0p1s4m4/StupidOS)

 Group: Kernel  {