From 14cbab79032e2b83e320293bfbb488307ec01f7a Mon Sep 17 00:00:00 2001
From: Lars Bergstrom <lars@lars.com>
Date: Tue, 11 Feb 2014 13:25:45 -0600
Subject: [PATCH] Disable index generation

---
 root.tex      | 8 ++++----
 whatisnew.tex | 4 +++-
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/root.tex b/root.tex
index 37d1852..71273d6 100644
--- 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
index 7178054..2182241 100755
--- 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!}