diff options
Diffstat (limited to 'tools/binman/binman.rst')
| -rw-r--r-- | tools/binman/binman.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/binman/binman.rst b/tools/binman/binman.rst index e65fbff..7fc0c7f 100644 --- a/tools/binman/binman.rst +++ b/tools/binman/binman.rst @@ -406,9 +406,9 @@ system-library directory, replace the last line with: Running binman -------------- -Type:: +Type: -.. code-block: bash +.. code-block:: bash make NO_PYTHON=1 PREFIX=/ install binman build -b <board_name> |