Added makext

2 files changed, 3 insertions, 5 deletions

diff --git a/tools/fossil-projects.sh b/tools/fossil-projects.sh
index bb6e673..a87be94 100644
--- a/tools/fossil-projects.sh
+++ b/tools/fossil-projects.sh
@@ -1,11 +1,9 @@
-set -xe
-
 OUT=../content/pages/projects.fossil.md.part
 
-echo -e "## Fossil repositories\n" > $OUT
+echo -e "# Fossil repositories\n" > $OUT
 
 find ~/Projects/ -type f -name "*.fossil" -not -path "*/website/*" | while read -r file; do
-        cp $file ../static/projects/
+        rsync -uv $file ../static/projects/
 done
 
 find ../static/projects/ -type f -name "*.fossil" | while read -r file; do
diff --git a/tools/github-projects.py b/tools/github-projects.py
index e2afe95..ff890f6 100644
--- a/tools/github-projects.py
+++ b/tools/github-projects.py
@@ -16,7 +16,7 @@ def generate_markdown_file(include_repositories):
     file = open("../content/pages/projects.github.md.part", "w")
 
     file.write(DOUBLE_NL)
-    file.write("## GitHub repositories")
+    file.write("# GitHub repositories")
     file.write(DOUBLE_NL)
 
     file.write("<div class='project-list'>")