Adjusted to use the new module synopsis support macros.
diff --git a/Doc/lib/libos.tex b/Doc/lib/libos.tex
index 05ce8b6..b9f3f20 100644
--- a/Doc/lib/libos.tex
+++ b/Doc/lib/libos.tex
@@ -1,6 +1,8 @@
 \section{Standard Module \module{os}}
-\label{module-os}
-\stmodindex{os}
+\declaremodule{standard}{os}
+
+\modulesynopsis{Miscellaneous OS interfaces.}
+
 
 This module provides a more portable way of using operating system
 (OS) dependent functionality than importing an OS dependent built-in