summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTomi Ollila <tomi.ollila@iki.fi>2020-10-20 09:57:11 +0300
committerDavid Bremner <david@tethera.net>2020-10-21 07:01:37 -0300
commitb042a59cdf8be7ad215268eee32d4cc114d312bb (patch)
treefe37349d429a90d888a2ec0d07adb1990cfc703d
parentbdb6956afdd2fca610c3bac0834636835793a831 (diff)
configure: replace $(realpath emacs) with $(cd emacs && pwd -P)
For portability; the realpath command (e.g. from GNU coreutils) is not so common outside Linux systems. The "$(cd emacs && pwd -P)" replaces that realpath(1) execution suitably in this context (using just bash(1) builtins).
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 40e8b255..cfa9c09b 100755
--- a/configure
+++ b/configure
@@ -1536,7 +1536,7 @@ EOF
if [ $WITH_PYTHON_DOCS = "1" ]; then
echo "tags.add('WITH_PYTHON')"
fi
- printf "rsti_dir = '%s'\n" $(realpath emacs)
+ printf "rsti_dir = '%s'\n" "$(cd emacs && pwd -P)"
} > sphinx.config
# Finally, after everything configured, inform the user how to continue.