Fix contrib make target (dev has been changed to develop)

pull/174/head
Tim Byrne 3 years ago
parent 84ef8709e4
commit 1fc52536ac
No known key found for this signature in database
GPG Key ID: 14DB4FC2465A4B12
  1. 2
      Makefile

@ -164,7 +164,7 @@ yadm.md: yadm.1
.PHONY: contrib
contrib:
@echo "CONTRIBUTORS\n" > CONTRIBUTORS
@git shortlog -ns master gh-pages dev dev-pages | cut -f2 >> CONTRIBUTORS
@git shortlog -ns master gh-pages develop dev-pages | cut -f2 >> CONTRIBUTORS
.PHONY: sync-clock
sync-clock:

Loading…
Cancel
Save