poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH 02/12] Add links to Mapping node


From: John Darrington
Subject: [PATCH 02/12] Add links to Mapping node
Date: Mon, 2 Dec 2019 17:51:03 +0100

---
 doc/poke.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/poke.texi b/doc/poke.texi
index 990a47c..e1ed57a 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -1168,7 +1168,7 @@ Gives 1 if the value is a signed integer, 0 otherwise.  
Examples:
 0
 @end example
 @item mapped
-Always 0 for integers.  See mapping.
+Always 0 for integers.  (@pxref{Mapping}).
 @end table
 
 
@@ -1632,7 +1632,7 @@ Examples:
 1UL
 @end example
 @item mapped
-Always 0 for offsets.  See mapping.
+Always 0 for offsets.  (@pxref{Mapping}).
 @end table
 
 
@@ -1773,7 +1773,7 @@ includes the terminating null.  Examples:
 8UL#b
 @end example
 @item mapped
-Always 0 for strings.  See mapping.
+Always 0 for strings.  (@pxref{Mapping}).
 @end table
 
 @node Arrays
-- 
2.11.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]