Repo containing scripts to be used with dovel, and git hooks that powers our web interface.
Author: brian (git@myr.sh)
Date: Mon Sep 25 00:26:01 2023 -0300
Parent: a6ab7e5
Small fix
diff --git a/aux.sh b/aux.sh
index f8681ca..8f35d47 100755
--- a/aux.sh
+++ b/aux.sh
@@ -30,7 +30,7 @@ pageheader() {
}
file > pre {
white-space: pre;
- line-height: 0.6;
+ line-height: 0.5;
overflow-x: auto
}
table {width: 100%}
diff --git a/update-repo-tree b/update-repo-tree
index 49b4253..78722d2 100755
--- a/update-repo-tree
+++ b/update-repo-tree
@@ -35,7 +35,7 @@ createfilepage() {
printf "<li>%s</li>\n" "$(escapehtml "$l")"
done < "$OUT/tree/$1"
- echo "</ol>\n</pre>\n<</file>\n</body>\n</html>"
+ echo "</ol>\n</pre>\n</file>\n</body>\n</html>"
}
echo "creating tree.html"