From 66bd4774a8f67d7b822d585d4dbc269f34137cab Mon Sep 17 00:00:00 2001 From: Wayne Davison Date: Thu, 11 Jun 2020 17:09:33 -0700 Subject: [PATCH] Allow maintainer to build with /usr/local prefix but document /usr. --- md2man | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/md2man b/md2man index c623efb9..c914cd96 100755 --- a/md2man +++ b/md2man @@ -94,7 +94,7 @@ def main(): fi.date = time.strftime('%d %b %Y', time.localtime(fi.mtime)) - env_subs = { } + env_subs = { 'prefix': os.environ.get('RSYNC_OVERRIDE_PREFIX', None) } with open(fi.srcdir + 'Makefile', 'r', encoding='utf-8') as fh: for line in fh: @@ -102,6 +102,8 @@ def main(): if not m: continue var, val = (m[1], m[2]) + if var == 'prefix' and env_subs[var] is not None: + continue while re.search(r'\$\{', val): val = re.sub(r'\$\{(\w+)\}', lambda m: env_subs[m[1]], val) env_subs[var] = val -- 2.47.2