Distribution of the supporting files in notes

2024-12-27 16:01:54 +01:00
parent e3e458b2d2
commit bf0a1f056d
2 changed files with 39 additions and 9 deletions
--- a/workflow/hpr-publish.bash
+++ b/workflow/hpr-publish.bash
@@ -5,7 +5,6 @@
 git_dir="$HOME/tmp/hpr/hpr_generator/sourcecode"
 if [ ! -d "${git_dir}/.git" ]
 then
-  #git clone gitea@repo.anhonesthost.net:rho_n/hpr_generator.git "${git_dir}"
  git clone gitea@repo.anhonesthost.net:HPR/hpr_generator.git "${git_dir}"
 fi