diff --git a/scribblings/Makefile b/scribblings/Makefile index e95a9b8..679e021 100644 --- a/scribblings/Makefile +++ b/scribblings/Makefile @@ -6,7 +6,7 @@ pages: @git branch -av | grep gh-pages @echo @(echo 'Is the branch up to date? Press enter to continue.'; read dummy) - git clone -b gh-pages ../.. pages + git clone -b gh-pages .. pages publish: out pages rm -rf pages/*