Disable index generation

SMLFamily · Feb 11, 2014 · 14cbab7 · 14cbab7
1 parent e48a1c3
commit 14cbab7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 5 deletions.
diff --git a/root.tex b/root.tex
@@ -10,7 +10,8 @@
 \include{mac} % macros
 
 \usepackage{makeidx}
-\makeindex
+% Disable index printing
+% \makeindex
 
 %
 %\includeonly{dynmod,overloading}
@@ -133,10 +134,9 @@
 \clearpage
 \blankPage
 \thispagestyle{empty}
-%\include{index}
 
-
-\printindex
+% Disable index printing
+%\printindex
 \end{document}
 
  HOW TO REVISE THE INDEX 

diff --git a/whatisnew.tex b/whatisnew.tex
@@ -22,7 +22,9 @@ \section{Appendix: What is New?}
 present language. 
 For each major change, we give its rationale and an overview
 of its practical implications. Also, the index
-(page \pageref{index-sec} ff.) may be used for locating changes.
+% Disable index printing
+%(page \pageref{index-sec} ff.) 
+may be used for locating changes.
 \note{\thenewpreface}{This appendix is new!}