~hristoast/mousikofidi

be362ada2d5229de4b9d68cdfde6ce5133a700d1 — Hristos N. Triantafillou 1 year, 8 days ago cf5c9aa
This is the required branch name, and make fetching optional
1 files changed, 4 insertions(+), 4 deletions(-)

M build.sh
M build.sh => build.sh +4 -4
@@ 8,10 8,10 @@ this_dir=$(realpath $(dirname ${0}))
cd "${this_dir}"

# Grab files from other branches
git fetch origin wiki
git checkout wiki -- config.md devel.md setup.md user_guide.md
git fetch origin master
git checkout master -- mousikofidi/static/css/fidi.css
test -z $FIDI_SITE_NOFETCH || git fetch origin wiki
git checkout origin/wiki -- config.md devel.md setup.md user_guide.md
test -z $FIDI_SITE_NOFETCH || git fetch origin master
git checkout origin/master -- mousikofidi/static/css/fidi.css

# Move them to where we need them
mv -v mousikofidi/static/css/fidi.css site/css/