aboutsummaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r--documentation/dev-manual/dev-manual-common-tasks.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 0d16dbec15..6aabdf4877 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -4341,11 +4341,11 @@ Gateways via their Web Interfaces</ulink>"</emphasis>
<title>Creating a Custom Template Configuration Directory</title>
<para>
- If you're producing your own customized version
+ If you are producing your own customized version
of the build system for use by other users, you might
want to customize the message shown by the setup script or
you might want to change the template configuration files (i.e.
- (<filename>local.conf</filename> and
+ <filename>local.conf</filename> and
<filename>bblayers.conf</filename>) that are created in
a new build directory.
</para>