doc-src/Ref/ref.tex

--- a/doc-src/Ref/ref.tex	Mon May 03 14:43:52 1999 +0200
+++ b/doc-src/Ref/ref.tex	Mon May 03 18:35:48 1999 +0200
@@ -2,7 +2,7 @@
 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup}
 
 %% $Id$
-%%\includeonly{}
+%\includeonly{introduction}
 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\)    [\\ttindexbold{\1}
 %%% to delete old ones:  \\indexbold{\*[^}]*}
 %% run    sedindex ref    to prepare index file