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 b8df5632a429ec8fc61b8ec250372caf8bacb48c..ab470032234703b789d394b77830401cd22e2ace 100644 (file)
--- 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}