Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTherzok <teromario@yahoo.com>2013-10-30 01:23:00 +0400
committerTherzok <teromario@yahoo.com>2013-10-30 01:23:00 +0400
commit8b0a591ea7ecf581de8820f1b74a1ac91f82200c (patch)
tree4c7cded800501818f694c58f6bfd706968aee80b /README.md
parent9f89026902507355f76ea8997e906e911e366ac4 (diff)
[README] Fix some inconsistency in formatted text.
Diffstat (limited to 'README.md')
-rw-r--r--README.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md
index 41a3763a3c..61abdb9c4b 100644
--- a/README.md
+++ b/README.md
@@ -27,12 +27,12 @@ To compile execute:
There are two variables you can set when running 'configure':
-`--prefix=/path/to/prefix: To set the install prefix.`
+`--prefix=/path/to/prefix`: To set the install prefix.
You can use `--prefix="pkg-config --variable=prefix mono"` to get MD
installed with the rest of mono/gtk-sharp/etc.
-`--profile=profile-name: To choose one build profile.`
+`--profile=profile-name`: To choose one build profile.
There are some predefined profiles: