diff -r c6a8b73b6c2a -r c9c615d970db doc-src/Intro/intro.tex --- 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