| commit | 2aec1a7af58b361990821f468c71050b1cc6000d | |
| author | Guillem Jover <guillem@debian.org> | |
| Sun, 24 Sep 2023 22:48:47 +0000 (25 00:48 +0200) | ||
| committer | Guillem Jover <guillem@debian.org> | |
| Wed, 25 Oct 2023 21:54:32 +0000 (25 23:54 +0200) | ||
| tree | 35808e66dd77016adaa12cdc118ac089b4ce5339 | treesnapshot (tar.gz zip) |
| parent | d7806503625fa1bf34c4f9d5f8585481e0a435e1 | commitdiff |
build: Make default shell and pager selectable at configure time
We parametrize these so that their values in both the code and the
manual pages match what got selected.
We parametrize these so that their values in both the code and the
manual pages match what got selected.