From 02917aae6282a7af2387326d66c656fa8a084ed9 Mon Sep 17 00:00:00 2001 From: Robert Jordens Date: Thu, 2 Feb 2017 19:58:26 +0100 Subject: [PATCH] doc: newline after label --- doc/manual/developing.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/manual/developing.rst b/doc/manual/developing.rst index f4d0ca58b..c58fbaeeb 100644 --- a/doc/manual/developing.rst +++ b/doc/manual/developing.rst @@ -201,6 +201,7 @@ These steps are required to generate gateware bitstream (``.bit``) files, build .. note:: Make sure that ``/usr/local/llvm-or1k/bin`` is first in your ``PATH``, so that the ``clang`` command you just built is found instead of the system one, if any. .. _build-target-binaries: + * For Pipistrello:: $ python3 -m artiq.gateware.targets.pipistrello