diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-03-04 13:10:02 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-03-04 13:10:23 +0100 |
| commit | 57acfcb9fd051556fc1f68ba49f109512c0cc846 (patch) | |
| tree | 60a4ed8225783ebac3ee1efefa889491dfc64899 /src | |
| parent | 2d46f1be0c3c8b7287aa1f62bb1f5b4a8d00ff6e (diff) | |
| parent | fa3148aacbea0e1a0ba8016b66b8d6b876c267b2 (diff) | |
Merge #15518: doc: Remove ppa from linux build instructions
fa3148aacbea0e1a0ba8016b66b8d6b876c267b2 doc: Remove ppa from linux build instructions (MarcoFalke)
Pull request description:
bdb (5.x) is provided by the vanilla Debian/Ubuntu package manager.
If someone needs bdb4.8, they can use `./depends` or `./contrib/install_db4.sh`.
I don't think we need a forth way to install bdb. Those ppa instructions only leads to confusion for debian users: Closes #3757
Tree-SHA512: 54620c28dfd63f0e30f1b0f4f4f4dcb66a5bbdd3ec60621860b005eee0a70fc6a5f3babdc5719ba5d3abda7fefc720eb1d8c70633b8a20a269ebc46e6206c781
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions