From b89929565ca73c83d5403de2cc56dce614472f1b Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 25 Nov 2017 14:46:31 +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 bd9fbff45..cbfca612d 100644
--- a/doc/manual/core_device.rst
+++ b/doc/manual/core_device.rst
@@ -175,11 +175,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.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.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
 .....