# HG changeset patch
# User wenzelm
# Date 925810289 -7200
# Node ID e77641d2f4acb624efd6a1864943a72b46b9bdc6
# Parent  971f238ef3ec9e2146756cb1aae4d6b6f5f0244d
oops;

diff -r 971f238ef3ec -r e77641d2f4ac doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Tue May 04 11:27:25 1999 +0200
+++ b/doc-src/Ref/ref.tex	Tue May 04 11:31:29 1999 +0200
@@ -1,8 +1,8 @@
 \documentclass[12pt]{report}
-\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,pdfsetup}
+\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup}
 
 %% $Id$
-%\includeonly{introduction}
+%%\includeonly{}
 %%% 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