1
0
Fork 0
mirror of https://github.com/ruby/ruby.git synced 2022-11-09 12:17:21 -05:00

Show make checkout-github/merge-github in help

This commit is contained in:
Takashi Kokubun 2019-04-25 19:24:56 +09:00
parent b2e92bfd9f
commit 57225dc07a
No known key found for this signature in database
GPG key ID: 6FFC433B12EE23DD
2 changed files with 8 additions and 1 deletions

View file

@ -1462,6 +1462,8 @@ update-man-date: PHONY
-e '$$_.sub!(/^(\.Dd ).*/){$$1+@vcs.modified(ARGF.path).strftime("%B %d, %Y")}' \
"$(srcdir)" "$(srcdir)"/man/*.1
HELP_EXTRA_TASKS = ""
help: PHONY
$(MESSAGE_BEGIN) \
" Makefile of Ruby" \
@ -1498,7 +1500,7 @@ help: PHONY
" change: make change log template" \
" golf: for golfers" \
" goruby: same as golf" \
"" \
$(HELP_EXTRA_TASKS) \
"see DeveloperHowto for more detail: " \
" https://bugs.ruby-lang.org/projects/ruby/wiki/DeveloperHowto" \
$(MESSAGE_END)

View file

@ -209,6 +209,11 @@ fetch-github-%:
pr-% merge-github-%: fetch-github-%
$(call merge-github,$*)
HELP_EXTRA_TASKS = \
" checkout-github: checkout GitHub Pull Request [PR=1234]" \
" merge-github: merge GitHub Pull Request to current HEAD [PR=1234]" \
""
ifeq ($(words $(filter update-gems extract-gems,$(MAKECMDGOALS))),2)
extract-gems: update-gems
endif