diff options
Diffstat (limited to 'Doc/mac/mac.tex')
| -rw-r--r-- | Doc/mac/mac.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/mac/mac.tex b/Doc/mac/mac.tex index 91e3eee..b8df563 100644 --- a/Doc/mac/mac.tex +++ b/Doc/mac/mac.tex @@ -7,6 +7,7 @@ \makeindex % tell \index to actually write the % .idx file \makemodindex % ... and the module index as well. +\ignorePlatformAnnotation{Mac} \begin{document} |