clarifications in handbook
authorChristian Grothoff <christian@grothoff.org>
Wed, 19 Jun 2019 06:56:02 +0000 (08:56 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 19 Jun 2019 06:56:02 +0000 (08:56 +0200)
commit3267f8b90815984e4cf4acd269fe832f4dbd975e
treed79c7718e609a2dcb1f6dde71a15f44fd835b2fa
parent9d0fb05e46e011ecff520eda6d67800f96e66491
clarifications in handbook
doc/handbook/chapters/installation.texi