For now, comment out the \ignorePlatformAnnotation; the global index
doesn't really work with this.
diff --git a/Doc/mac/mac.tex b/Doc/mac/mac.tex
index b8df563..ab47003 100644
--- a/Doc/mac/mac.tex
+++ b/Doc/mac/mac.tex
@@ -7,7 +7,7 @@
 \makeindex			% tell \index to actually write the
 				% .idx file
 \makemodindex			% ... and the module index as well.
-\ignorePlatformAnnotation{Mac}
+%\ignorePlatformAnnotation{Mac}
 
 
 \begin{document}