diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2012-04-23 12:41:15 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-04-23 12:41:15 -0700 |
| commit | 2347982d1ad1a29fa93cd95eb51e5c74c689177e (patch) | |
| tree | 3d8a043bc7366d72873cb59241bc2b7bc7d1b943 /Makefile | |
| parent | Merge branch 'rl/show-empty-prefix' (diff) | |
| parent | var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings (diff) | |
| download | tgif-2347982d1ad1a29fa93cd95eb51e5c74c689177e.tar.xz | |
Merge branch 'jn/debian-customizes-default-editor'
Make it easier for distros to document custom pager and editor they
used when building their binary releases in "git var" documentation.
By Jonathan Nieder
* jn/debian-customizes-default-editor:
var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings
var doc: default editor and pager are configurable at build time
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -2266,6 +2266,8 @@ $(XDIFF_LIB): $(XDIFF_OBJS) $(VCSSVN_LIB): $(VCSSVN_OBJS) $(QUIET_AR)$(RM) $@ && $(AR) rcs $@ $(VCSSVN_OBJS) +export DEFAULT_EDITOR DEFAULT_PAGER + doc: $(MAKE) -C Documentation all |