branch store fix

This commit is contained in:
Mattias Andrée 2012-10-28 00:12:54 +02:00
parent b1b3b6253c
commit 28caf6268c

View file

@ -1,14 +1,13 @@
SHELL=bash SHELL=bash
BRANCH="$(git branch | grep \\\* | sed -e s/\*\ //g)"
manual-update: manual-update:
git checkout master (branch=$$(git branch | grep \\\* | sed -e s/\*\ //g) \
makeinfo --html "./manuals/ponysay.texinfo" git checkout master \
git add "./ponysay" makeinfo --html "./manuals/ponysay.texinfo" \
git stash git add "./ponysay" \
git checkout $(BRANCH) git stash \
git rm "./pages/ponysay/*" git checkout $(BRANCH) \
git stash pop git rm "./pages/ponysay/*" \
git stash pop \
)