[bug#69476] [PATCH 1/8] doc: Add documentation for x86_64-linux-gnux32.

[Jean-Pierre De Jesus DIAZ]

* doc/guix.texi: Add documentation for x86_64-linux-gnux32.

Change-Id: I408d57ae5ae3e9b1449633b82c41aba0d40ded06
---
 doc/guix.texi | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index f6476e0d81..7153c9e7a4 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -16963,6 +16963,7 @@ Cross-Compilation
    - powerpc64le-linux-gnu
    - riscv64-linux-gnu
    - x86_64-linux-gnu
+   - x86_64-linux-gnux32
    - x86_64-w64-mingw32
 @end example
 
@@ -46732,6 +46733,11 @@ Supported Platforms
 Platform targeting x86 64-bit CPU running GNU/Linux.
 @end defvar
 
+@defvar x86_64-linux-x32
+Platform targeting x86 64-bit CPU running GNU/Linux with the run-time using
+the X32 ABI.
+@end defvar
+
 @defvar i686-mingw
 Platform targeting x86 CPU running Windows, with run-time support from
 MinGW.
-- 
2.41.0