[PATCH] dev-manual: update bmaptool section, refer to "bmaptool" package

["Robert P. J. Day" <rpjday@crashcourse.ca>]

Update the section on "bmaptool" to use the newer "bmaptool" package
name rather than the older "bmap-tools" name (which still exists but
is simply a transitional package).

Signed-off-by: Robert P. J. Day <rpjday@crashcourse.ca>

---

diff --git a/documentation/dev-manual/bmaptool.rst b/documentation/dev-manual/bmaptool.rst
index 87162a49c..29e7f0d2e 100644
--- a/documentation/dev-manual/bmaptool.rst
+++ b/documentation/dev-manual/bmaptool.rst
@@ -13,13 +13,13 @@ system image files much faster.
 .. note::

    -  If you are using Ubuntu or Debian distributions, you can install
-      the ``bmap-tools`` package using the following command and then
+      the ``bmaptool`` package using the following command and then
       use the tool without specifying ``PATH`` even from the root
       account::

-         $ sudo apt install bmap-tools
+         $ sudo apt install bmaptool

-   -  If you are unable to install the ``bmap-tools`` package, you will
+   -  If you are unable to install the ``bmaptool`` package, you will
       need to build `bmaptool` before using it. Use the following command::

          $ bitbake bmaptool-native -caddto_recipe_sysroot
@@ -56,3 +56,10 @@ For help on the ``bmaptool`` command, use the following command::

    $ bmaptool --help

+.. note::
+
+   Earlier releases of Ubuntu and Debian had a package named
+   ``bmap-tools``; you can still install by this name as this
+   is simply a transitional package which exists solely to
+   ensure backward compatibility and smooth upgrades from
+   older installations.