Merge branch 'jn/debian-customizes-default-editor'

diff --git a/Makefile b/Makefile
index 28a46e5594a80e7fc372fddca11246b48570b0bb..172e924a29521886dc4d365302ee12ed73c357d5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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