Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit eb4ed15

Browse files
freddrakefreddrake
committed
Shift index entries around a little so the HTML doesn't have weird spacing.
1 parent 1e0f8bf commit eb4ed15

2 files changed

Lines changed: 20 additions & 20 deletions

File tree

‎Doc/lib/libtime.tex‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -10,27 +10,27 @@ \section{Built-in Module \module{time}}
1010
\begin{itemize}
1111

1212
\item
13-
\index{epoch}
14-
The \dfn{epoch} is the point where the time starts. On January 1st of that
15-
year, at 0 hours, the ``time since the epoch'' is zero. For \UNIX{}, the
16-
epoch is 1970. To find out what the epoch is, look at \code{gmtime(0)}.
13+
The \dfn{epoch}\index{epoch} is the point where the time starts. On
14+
January 1st of that year, at 0 hours, the ``time since the epoch'' is
15+
zero. For \UNIX{}, the epoch is 1970. To find out what the epoch is,
16+
look at \code{gmtime(0)}.
1717

1818
\item
19-
\index{UTC}
20-
\index{Coordinated Universal Time}
21-
\index{Greenwich Mean Time}
2219
UTC is Coordinated Universal Time (formerly known as Greenwich Mean
2320
Time). The acronym UTC is not a mistake but a compromise between
24-
English and French.
21+
English and French.%
22+
\index{UTC}%
23+
\index{Coordinated Universal Time}%
24+
\index{Greenwich Mean Time}
2525

2626
\item
27-
\index{Daylight Saving Time}
2827
DST is Daylight Saving Time, an adjustment of the timezone by
2928
(usually) one hour during part of the year. DST rules are magic
3029
(determined by local law) and can change from year to year. The \C{}
3130
library has a table containing the local rules (often it is read from
3231
a system file for flexibility) and is the only source of True Wisdom
33-
in this respect.
32+
in this respect.%
33+
\index{Daylight Saving Time}
3434

3535
\item
3636
The precision of the various real-time functions may be less than

‎Doc/libtime.tex‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -10,27 +10,27 @@ \section{Built-in Module \module{time}}
1010
\begin{itemize}
1111

1212
\item
13-
\index{epoch}
14-
The \dfn{epoch} is the point where the time starts. On January 1st of that
15-
year, at 0 hours, the ``time since the epoch'' is zero. For \UNIX{}, the
16-
epoch is 1970. To find out what the epoch is, look at \code{gmtime(0)}.
13+
The \dfn{epoch}\index{epoch} is the point where the time starts. On
14+
January 1st of that year, at 0 hours, the ``time since the epoch'' is
15+
zero. For \UNIX{}, the epoch is 1970. To find out what the epoch is,
16+
look at \code{gmtime(0)}.
1717

1818
\item
19-
\index{UTC}
20-
\index{Coordinated Universal Time}
21-
\index{Greenwich Mean Time}
2219
UTC is Coordinated Universal Time (formerly known as Greenwich Mean
2320
Time). The acronym UTC is not a mistake but a compromise between
24-
English and French.
21+
English and French.%
22+
\index{UTC}%
23+
\index{Coordinated Universal Time}%
24+
\index{Greenwich Mean Time}
2525

2626
\item
27-
\index{Daylight Saving Time}
2827
DST is Daylight Saving Time, an adjustment of the timezone by
2928
(usually) one hour during part of the year. DST rules are magic
3029
(determined by local law) and can change from year to year. The \C{}
3130
library has a table containing the local rules (often it is read from
3231
a system file for flexibility) and is the only source of True Wisdom
33-
in this respect.
32+
in this respect.%
33+
\index{Daylight Saving Time}
3434

3535
\item
3636
The precision of the various real-time functions may be less than

0 commit comments

Comments
 (0)