summaryrefslogtreecommitdiffstats
path: root/Doc/lib/libtime.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/lib/libtime.tex')
-rw-r--r--Doc/lib/libtime.tex6
1 files changed, 4 insertions, 2 deletions
diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index 711347b..caafd50 100644
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -1,6 +1,8 @@
\section{Built-in Module \module{time}}
-\label{module-time}
-\bimodindex{time}
+\declaremodule{builtin}{time}
+
+\modulesynopsis{Time access and conversions.}
+
This module provides various time-related functions.
It is always available.