Skip to content

Commit

Permalink
fix makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
narimiran committed Mar 19, 2024
1 parent b5037ef commit daaeb53
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -3,14 +3,15 @@ publish-guide:
# if [[ "$${CURRENT_BRANCH}" != "master" ]]; then \
# echo -e "\nWarning: you're publishing the books from the 'master' branch!\n"; \
# fi
CURRENT_COMMIT="$$(git rev-parse --short HEAD)" && \
cd nimble-guide && \
mkdocs build && \
cd .. && \
git worktree add tmp-book gh-pages && \
cp -a nimble-guide/site/* tmp-book/ && \
cd tmp-book && \
git add . && { \
git commit -m "make publish-guide $$(git rev-parse --short HEAD)" && \
git commit -m "make publish-guide $${CURRENT_COMMIT}" && \
git push origin gh-pages || true; } && \
cd .. && \
git worktree remove -f tmp-book && \
Expand Down

0 comments on commit daaeb53

Please sign in to comment.