Artur Adib 14 years ago
parent
commit
57ecc46b02
  1. 2
      Makefile

2
Makefile

@ -159,7 +159,7 @@ web: | production extension compiler pages-repo \
# everything with data from the master repo. The 'make web' target # everything with data from the master repo. The 'make web' target
# then uses 'git add -A' to track additions, modifications, moves, # then uses 'git add -A' to track additions, modifications, moves,
# and deletions. # and deletions.
pages-repo: | $(BUILD_DIR) pages-repo: | $(BUILD_DIR)
@if [ ! -d "$(GH_PAGES)" ]; then \ @if [ ! -d "$(GH_PAGES)" ]; then \
git clone -b gh-pages $(REPO) $(GH_PAGES); \ git clone -b gh-pages $(REPO) $(GH_PAGES); \
rm -rf $(GH_PAGES)/*; \ rm -rf $(GH_PAGES)/*; \

Loading…
Cancel
Save