From 7e5a301a275a32c0387468f397b3e33279ab58b8 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 25 Nov 2017 14:41:36 +0800
Subject: [PATCH] manual: fix formatting problem

---
 doc/manual/core_device.rst | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/doc/manual/core_device.rst b/doc/manual/core_device.rst
index 76b1f9361..a28f095ca 100644
--- a/doc/manual/core_device.rst
+++ b/doc/manual/core_device.rst
@@ -162,11 +162,10 @@ Installation
 ............
 
 These installation instructions are a short form of those in the ARTIQ manual.
+
 * See the chapter on setting up a :ref:`development environment <develop-from-conda>`.
-* When compiling the binaries, use the ``phaser`` target:::
-  $ python -m artiq.gateware.targets.kc705_phaser
-* From time to time and on request there may be pre-built binaries in the
-  ``artiq-kc705-phaser`` package on the M-Labs conda package label.
+* When compiling the binaries, use the ``phaser`` target: ``python -m artiq.gateware.targets.kc705_phaser``
+* From time to time and on request there may be pre-built binaries in the ``artiq-kc705-phaser`` package on the M-Labs conda package label.
 
 Setup
 .....