Fixed bug which treated style.css as a dir
authorPotosi <[email protected]>
Fri, 22 Dec 2023 16:35:25 +0000 (22 17:35 +0100)
committerPotosi <[email protected]>
Fri, 22 Dec 2023 16:35:25 +0000 (22 17:35 +0100)
make.sh

diff --git a/make.sh b/make.sh
index 9f07b0b..7a84aec 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -27,7 +27,10 @@ This website is licensed under <a class="notdead" href="https://creativecommons.
 EOF
 }
 
-header_personal_site() { echo "<html><head><title>Potosi</title><link rel="stylesheet" type="text/css" href="style.css"/></head>"; }
+header_personal_site() { cat<<EOF
+<html><head><title>Potosi</title><link rel="stylesheet" type="text/css" href="style.css"/></head>
+EOF
+}
 
 footer_personal_site() { echo "</html>"; }