Shift index entries around a little so the HTML doesn't have weird spacing.

diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index 0f0ed018f457f6ca1433e2008ab739c7e734a580..a8c134e6660a3b18eaa4fa2c28e5f34d5c00befc 100644 (file)
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -10,27 +10,27 @@ An explanation of some terminology and conventions is in order.
 \begin{itemize}
 
 \item
-\index{epoch}
-The \dfn{epoch} is the point where the time starts.  On January 1st of that
-year, at 0 hours, the ``time since the epoch'' is zero.  For \UNIX{}, the
-epoch is 1970.  To find out what the epoch is, look at \code{gmtime(0)}.
+The \dfn{epoch}\index{epoch} is the point where the time starts.  On
+January 1st of that year, at 0 hours, the ``time since the epoch'' is
+zero.  For \UNIX{}, the epoch is 1970.  To find out what the epoch is,
+look at \code{gmtime(0)}.
 
 \item
-\index{UTC}
-\index{Coordinated Universal Time}
-\index{Greenwich Mean Time}
 UTC is Coordinated Universal Time (formerly known as Greenwich Mean
 Time).  The acronym UTC is not a mistake but a compromise between
-English and French.
+English and French.%
+\index{UTC}%
+\index{Coordinated Universal Time}%
+\index{Greenwich Mean Time}
 
 \item
-\index{Daylight Saving Time}
 DST is Daylight Saving Time, an adjustment of the timezone by
 (usually) one hour during part of the year.  DST rules are magic
 (determined by local law) and can change from year to year.  The \C{}
 library has a table containing the local rules (often it is read from
 a system file for flexibility) and is the only source of True Wisdom
-in this respect.
+in this respect.%
+\index{Daylight Saving Time}
 
 \item
 The precision of the various real-time functions may be less than

diff --git a/Doc/libtime.tex b/Doc/libtime.tex
index 0f0ed018f457f6ca1433e2008ab739c7e734a580..a8c134e6660a3b18eaa4fa2c28e5f34d5c00befc 100644 (file)
--- a/Doc/libtime.tex
+++ b/Doc/libtime.tex
@@ -10,27 +10,27 @@ An explanation of some terminology and conventions is in order.
 \begin{itemize}
 
 \item
-\index{epoch}
-The \dfn{epoch} is the point where the time starts.  On January 1st of that
-year, at 0 hours, the ``time since the epoch'' is zero.  For \UNIX{}, the
-epoch is 1970.  To find out what the epoch is, look at \code{gmtime(0)}.
+The \dfn{epoch}\index{epoch} is the point where the time starts.  On
+January 1st of that year, at 0 hours, the ``time since the epoch'' is
+zero.  For \UNIX{}, the epoch is 1970.  To find out what the epoch is,
+look at \code{gmtime(0)}.
 
 \item
-\index{UTC}
-\index{Coordinated Universal Time}
-\index{Greenwich Mean Time}
 UTC is Coordinated Universal Time (formerly known as Greenwich Mean
 Time).  The acronym UTC is not a mistake but a compromise between
-English and French.
+English and French.%
+\index{UTC}%
+\index{Coordinated Universal Time}%
+\index{Greenwich Mean Time}
 
 \item
-\index{Daylight Saving Time}
 DST is Daylight Saving Time, an adjustment of the timezone by
 (usually) one hour during part of the year.  DST rules are magic
 (determined by local law) and can change from year to year.  The \C{}
 library has a table containing the local rules (often it is read from
 a system file for flexibility) and is the only source of True Wisdom
-in this respect.
+in this respect.%
+\index{Daylight Saving Time}
 
 \item
 The precision of the various real-time functions may be less than