diff options
| author | Alcaro <floating@muncher.se> | 2016-02-18 16:30:58 +0100 |
|---|---|---|
| committer | Alcaro <floating@muncher.se> | 2016-02-18 16:30:58 +0100 |
| commit | a6c976c6df2e191362a8786a129cfe0ea241cbaf (patch) | |
| tree | 4aacd1c752dc532bc9962813a872618b6f6a176e /docs | |
| parent | c58fd4e5d7f517d1d4789e8363053ce81c0c3ddf (diff) | |
[Doc] Fix #/$ mismatch
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/README.android | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/README.android b/docs/README.android index 752ecd7924..a1cd0626f1 100644 --- a/docs/README.android +++ b/docs/README.android @@ -17,9 +17,9 @@ We currently recommend Ubuntu "Trusty Tahr" (14.04) 64Bit. This is what our cont integration system "jenkins" is using. Additionally, building from OSX Snow Leopard or Mavericks (others on your own risk ;) ) is working (see 3.1). -NOTE TO NEW USERS: All lines that are prefixed with the '#' +NOTE TO NEW USERS: All lines that are prefixed with the '$' character are commands that need to be typed into a terminal window / -console (similar to the command prompt for Windows). Note that the '#' +console (similar to the command prompt for Windows). Note that the '$' character itself should NOT be typed as part of the command. ----------------------------------------------------------------------------- |