JAL-3594 Changed building.md to reflect change of name of channel_properties to chann...

diff --git a/doc/building.md b/doc/building.md
index f2d832a..3122efb 100644 (file)
--- a/doc/building.md
+++ b/doc/building.md
@@ -490,7 +490,7 @@ then it will use the `default` directory.
 Inside the `utils/channels/<channelname>` directory are:
 - a file `channel_gradle.properties`.  This will be used by the `build.gradle` script (i.e. any gradle build) to *override* the values found in `gradle.properties`.
 - an `images` directory used to store different images referred to in this channels's `channel_gradle.properties`.
-- a `resources` directory which is merged into the javliew.jar's own resources directory.  Importantly it contains a `channel_properties` file and another `images` dir which contains properties and images used by the application (in `jalview.util.ChannelProperties`), such as icon files or banner images, and the `app_name` property used as the display name for the application (e.g. "Jalview Develop") inside the application code.  Please see the `getProperty` and `getImage` methods in `jalview.bin.ChannelProperties` to access these channel based resources. 
+- a `resources` directory which is merged into the javliew.jar's own resources directory.  Importantly it contains a `channel.props` file and another `images` dir which contains properties and images used by the application (in `jalview.util.ChannelProperties`), such as icon files or banner images, and the `app_name` property used as the display name for the application (e.g. "Jalview Develop") inside the application code.  Please see the `getProperty` and `getImage` methods in `jalview.bin.ChannelProperties` to access these channel based resources. 
 
 
 #### JALVIEW_VERSION and the RELEASE file