[PATCH] docs: fix doubled-word typos in user documentation

[Clinton Phillips <clintdotphillips@gmail.com>]

- docs/devel/style.rst: "assume that that type" -> "assume that type"
- docs/system/arm/aspeed.rst: "how to to boot" -> "how to boot"
- docs/system/devices/can.rst: "supported by by drivers" -> "supported by drivers"

Signed-off-by: Clinton Phillips <clintdotphillips@gmail.com>
---
 docs/devel/style.rst        | 2 +-
 docs/system/arm/aspeed.rst  | 2 +-
 docs/system/devices/can.rst | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/devel/style.rst b/docs/devel/style.rst
index b8edcf9..6b9544f 100644
--- a/docs/devel/style.rst
+++ b/docs/devel/style.rst
@@ -341,7 +341,7 @@ but only for RAM, it may not cover whole guest address space.
 If it's file-size related, use off_t.
 If it's file-offset related (i.e., signed), use off_t.
 If it's just counting small numbers use "unsigned int";
-(on all but oddball embedded systems, you can assume that that
+(on all but oddball embedded systems, you can assume that
 type is at least four bytes wide).
 
 In the event that you require a specific width, use a standard type
diff --git a/docs/system/arm/aspeed.rst b/docs/system/arm/aspeed.rst
index df2f539..3f1222d 100644
--- a/docs/system/arm/aspeed.rst
+++ b/docs/system/arm/aspeed.rst
@@ -195,7 +195,7 @@ boot mode of machine: SPI or eMMC. This can be useful to boot the
 boot the ``rainier-bmc`` machine from a flash device (default being
 eMMC).
 
-As an example, here is how to to boot the ``rainier-bmc`` machine from
+As an example, here is how to boot the ``rainier-bmc`` machine from
 the flash device with ``boot-emmc=false`` and let the machine use an
 eMMC image :
 
diff --git a/docs/system/devices/can.rst b/docs/system/devices/can.rst
index 0912183..95ee3e8 100644
--- a/docs/system/devices/can.rst
+++ b/docs/system/devices/can.rst
@@ -10,7 +10,7 @@ The concept of buses is generic and different CAN controllers
 can be implemented.
 
 The initial submission implemented SJA1000 controller which
-is common and well supported by by drivers for the most operating
+is common and well supported by drivers for the most operating
 systems.
 
 The PCI addon card hardware has been selected as the first CAN
-- 
2.49.0