diff options
Diffstat (limited to 'Doc/ext')
| -rw-r--r-- | Doc/ext/ext.tex | 4 |
1 files changed, 1 insertions, 3 deletions
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 @@ whitespace-separated absolute pathnames of libraries (\samp{.a} files). No \samp{-l} options can be used. -%\input{extref} - -\input{ext.ind} +\inputindex{ext.ind} \end{document} |