[COMMITTED] doc: s/get_time/gettime in the manual

[Jose E. Marchesi]

2023-01-26  Jose E. Marchesi  <jemarch@gnu.org>

        * doc/poke.texi: get_time is now gettime.
---
 ChangeLog     | 4 ++++
 doc/poke.texi | 6 +++---
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 90bd70ad..c9c4d2b4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-01-26  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * doc/poke.texi: get_time is now gettime.
+
 2023-01-22  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
 
        * libpoke/ios.c (ios_close): Re-use the IOS ID if possible.
diff --git a/doc/poke.texi b/doc/poke.texi
index 437eef5d..9dd1f9c2 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -15025,11 +15025,11 @@ integers.  If a @var{seed} different to zero is 
provided, it is used
 to initialize a new sequence of pseudo-random numbers (which includes
 the one returned.)
 
-The @code{get_time} builtin function can be used in order to seed the
+The @code{gettime} builtin function can be used in order to seed the
 pseudo-random number generator very easily:
 
 @example
-srand (get_time[1])
+srand (gettime[1])
 @end example
 
 @node VM
@@ -15862,7 +15862,7 @@ type Timespec = struct
 @};
 @end example
 
-The function @code{gettimeofday} uses the @code{get_time} builtin in
+The function @code{gettimeofday} uses the @code{gettime} builtin in
 order to construct an instance of @code{Timespec}.  For example:
 
 @example
-- 
2.30.2