INSTALL: Fix instructions for compiling from git.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 25 May 2021 15:07:43 +0000 (17:07 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 25 May 2021 15:07:43 +0000 (17:07 +0200)
commitf272802cac9a19b59f4647d539c5ad01d37e9cd2
tree0e1c0d1f16ce0aac6e3fc9e122d3f3133670e63e
parent5950bc81d20b5b6f9ddf1b34df3141cd542d2c6a
INSTALL: Fix instructions for compiling from git.

The command line lacked the configure command.
INSTALL