diff options
author | Juergen Borleis <jbe@pengutronix.de> | 2016-06-08 14:10:15 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:04:41 +0200 |
commit | 57fdbf29d5357c8d5666066ce71511105965b8cf (patch) | |
tree | 3de139913c7145ef0aea4946820daa0f3362b8e7 /doc/environment.rst | |
parent | 9459dd85520efa92ba1af94ea8a2a50ce457c6bf (diff) | |
download | ptxdist-57fdbf29d5357c8d5666066ce71511105965b8cf.tar.gz ptxdist-57fdbf29d5357c8d5666066ce71511105965b8cf.tar.xz |
In the PTXdist Guru documentation this was emphasized. Do it again.
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
Diffstat (limited to 'doc/environment.rst')
-rw-r--r-- | doc/environment.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/environment.rst b/doc/environment.rst index 3362832ba..712c687bb 100644 --- a/doc/environment.rst +++ b/doc/environment.rst @@ -75,9 +75,9 @@ Board Support Package Extracting the Sources ~~~~~~~~~~~~~~~~~~~~~~ -Do the following steps at best in your own home directory ($HOME). You -need root permissions only in the ``make install`` step, and **nowhere** -else. +.. important:: Do the following steps at best in your own home directory ($HOME). + You need *root* permissions only in the ``make install`` step, and **nowhere** + else. To install PTXdist, the archive Pengutronix provides has to be extracted: |