fix html output directory

This commit is contained in:
Mattias Andrée 2012-10-28 00:10:18 +02:00
parent 732ed99632
commit b1b3b6253c

View file

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