git_infra

commit 456124737dca9afe84f81920fe1ad4b30d368824
parent 0942b25a3758072e59f036f61201011c3ae15f60
Author: Chris Bracken <chris@bracken.jp>
Date:   Mon, 30 Aug 2021 13:15:05 -0700

Link logo, stylesheet, and favicon on rebuild repo

When rebuilding a repo with grm, ensure that logo.png, style.css, and
favicon.png are linked into the generated HTML output directory.

Diffstat:
M
grm
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/grm b/grm
@@ -46,6 +46,9 @@ recompile_repo() {
   rm -rf "commit" "file"             && \
   stagit -c "$cachefile" "$repo_dir" && \
   ln -sf log.html index.html         && \
+  ln -sf ../logo.png logo.png        && \
+  ln -sf ../style.css style.css      && \
+  ln -sf ../favicon.png favicon.png  && \
   echo "[$1] done!"
 }