diff options
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 4 |
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> |