civodul pushed a commit to branch master
in repository guix.

commit 9d5356dbc33009ad4ac879325a8dc3393e600591
Author: Jean-Pierre De Jesus DIAZ <j...@foundationdevices.com>
AuthorDate: Thu Feb 29 16:20:43 2024 +0100

    doc: Add documentation for x86_64-linux-gnux32.
    
    * doc/guix.texi: Add documentation for x86_64-linux-gnux32.
    
    Change-Id: I408d57ae5ae3e9b1449633b82c41aba0d40ded06
    Signed-off-by: Ludovic Courtès <l...@gnu.org>
---
 doc/guix.texi | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index fc28a15980..6338915f91 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -16661,6 +16661,7 @@ The available targets are:
    - powerpc64le-linux-gnu
    - riscv64-linux-gnu
    - x86_64-linux-gnu
+   - x86_64-linux-gnux32
    - x86_64-w64-mingw32
 @end example
 
@@ -46801,6 +46802,11 @@ Platform targeting x86 CPU running GNU/Linux.
 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.

Reply via email to