maint: Update INSTALL
commit89158972fb953a0428d4bd37a17e7d6cce5ee633
authorMathieu Lirzin <mthl@gnu.org>
Sun, 25 Feb 2018 17:52:38 +0000 (25 18:52 +0100)
committerMathieu Lirzin <mthl@gnu.org>
Sun, 25 Feb 2018 17:52:38 +0000 (25 18:52 +0100)
tree2744c9e457d34a7ec67bbdc8c89fd385cddf1351
parentc0317195552cc70246cb959db6b6d510d50f4f88
maint: Update INSTALL

* INSTALL: Use single quotes.
INSTALL