a4paper;

--- a/doc-src/Intro/intro.tex	Mon Oct 11 10:53:39 1999 +0200
+++ b/doc-src/Intro/intro.tex	Mon Oct 11 11:04:56 1999 +0200
@@ -1,5 +1,5 @@
-\documentclass[12pt]{article}
-\usepackage{graphicx,a4,../iman,../extra,../proof,../pdfsetup}
+\documentclass[12pt,a4paper]{article}
+\usepackage{graphicx,../iman,../extra,../proof,../pdfsetup}
 
 %% $Id$
 %% run    bibtex intro         to prepare bibliography