Added \platform annotations.
diff --git a/Doc/mac/libmacostools.tex b/Doc/mac/libmacostools.tex
index eebafcc..797af26 100644
--- a/Doc/mac/libmacostools.tex
+++ b/Doc/mac/libmacostools.tex
@@ -1,7 +1,8 @@
\section{\module{macostools} ---
- Convenience routines for file manipulation.}
-\declaremodule{standard}{macostools}
+ Convenience routines for file manipulation}
+\declaremodule{standard}{macostools}
+ \platform{Mac}
\modulesynopsis{Convenience routines for file manipulation.}
@@ -50,10 +51,12 @@
the Apple documentation. Hence, aliases created with \function{mkalias()}
could conceivably have incompatible behaviour in some cases.
-\section{\module{findertools} ---
- Wrappers around the \program{finder}'s Apple Events interface.}
-\declaremodule{standard}{findertools}
+\section{\module{findertools} ---
+ The \program{finder}'s Apple Events interface}
+
+\declaremodule{standard}{findertools}
+ \platform{Mac}
\modulesynopsis{Wrappers around the \program{finder}'s Apple Events interface.}