doc: Correctly document 'host' field of <cuirass-configuration>.
authorLudovic Courtès <ludo@gnu.org>
Wed, 17 Jul 2019 22:43:54 +0000 (00:43 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 17 Jul 2019 22:44:23 +0000 (00:44 +0200)
commit193d20f35186556a0344f216f8e70187132093df
treee60d6eb1a8e5d32bfefeaced74f2aab9486f7d11
parent9b9b753529db1c7a8c4628cc255e358703c15618
doc: Correctly document 'host' field of <cuirass-configuration>.

* doc/guix.texi (Continuous Integration): Fix doc of the 'host' field.
doc/guix.texi