Adjust the index inclusion for the new index support.
diff --git a/Doc/ext/ext.tex b/Doc/ext/ext.tex
index 0c9f779..d2d11ad 100644
--- a/Doc/ext/ext.tex
+++ b/Doc/ext/ext.tex
@@ -1489,8 +1489,6 @@
 files).  No \samp{-l} options can be used.
 
 
-%\input{extref}
-
-\input{ext.ind}
+\inputindex{ext.ind}
 
 \end{document}