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:36:59 +0400
committerTherzok <teromario@yahoo.com>2013-10-30 01:36:59 +0400
commit05a18c979a68842458c1b79bb9d22ab6d64e8292 (patch)
tree0b04f7641430a1d8de5deca72f20bb225645d720 /README.md
parent8b0a591ea7ecf581de8820f1b74a1ac91f82200c (diff)
[README] Fix more inconsistency in formatting.
Diffstat (limited to 'README.md')
-rw-r--r--README.md9
1 files changed, 4 insertions, 5 deletions
diff --git a/README.md b/README.md
index 61abdb9c4b..e9808ba5f7 100644
--- a/README.md
+++ b/README.md
@@ -27,12 +27,11 @@ To compile execute:
There are two variables you can set when running 'configure':
-`--prefix=/path/to/prefix`: To set the install prefix.
+To set the install prefix: `--prefix=/path/to/prefix`
-You can use `--prefix="pkg-config --variable=prefix mono"` to get MD
-installed with the rest of mono/gtk-sharp/etc.
+To install with the rest of the assemblies: `--prefix="pkg-config --variable=prefix mono"`
-`--profile=profile-name`: To choose one build profile.
+To choose a build profile: `--profile=profile-name`
There are some predefined profiles:
@@ -40,7 +39,7 @@ There are some predefined profiles:
* core: builds the MonoDevelop core only.
* all: builds everything
-You can create your own profiles if you need to
+You can create your own profiles if you need to.
To create a profile you only have to add a file to the profiles directory
containing a list of the directories to build.