lots of markup nits, most commonly Unix/unix --> \UNIX
diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index 0e83400..f40838a 100644
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -427,7 +427,7 @@
'16:08:12 05/08/03 AEST'
\end{verbatim}
-On many Unix systems (including *BSD, Linux, Solaris, and Darwin), it
+On many \UNIX{} systems (including *BSD, Linux, Solaris, and Darwin), it
is more convenient to use the system's zoneinfo (\manpage{tzfile}{5})
database to specify the timezone rules. To do this, set the
\envvar{TZ} environment variable to the path of the required timezone