From 7d67f4945bc3d4b9dcc23c85a011ce6b6774a86f Mon Sep 17 00:00:00 2001 From: Petr Baudis Date: Tue, 5 Aug 2008 17:08:35 +0200 Subject: [PATCH] jobs/clone.sh: Move ctags to the repository --- jobs/clone.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jobs/clone.sh b/jobs/clone.sh index 85cb85c..5561712 100755 --- a/jobs/clone.sh +++ b/jobs/clone.sh @@ -38,7 +38,7 @@ fi # Move us into our new home bang mv repodir "$cfg_reporoot/$proj.git" -bang mv base_url owner description homepage README.html "$cfg_reporoot/$proj.git/" +bang mv base_url ctags owner description homepage README.html "$cfg_reporoot/$proj.git/" # Reconfigure bang git --git-dir="$cfg_reporoot/$proj.git" config --bool --add mirror.allowed true -- 2.11.4.GIT