manual/configure.txt: fix typo
authorJerzy Grzegorek <jerzy.grzegorek@trzebnica.net>
Fri, 28 Mar 2014 21:24:43 +0000 (22:24 +0100)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Sat, 29 Mar 2014 08:28:21 +0000 (09:28 +0100)
commit082dec8ce440236b1477e568f0965f05ad241adb
tree3d87d3f2b5a945e411e7cce8502468ad88ebd48f
parent541d070c013259bd83dd47b67d1535d762413e70
manual/configure.txt: fix typo

[Thomas: fix to actually use the correct syntax.]

Signed-off-by: Jerzy Grzegorek <jerzy.grzegorek@trzebnica.net>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
docs/manual/configure.txt