doc-src/Locales/Locales/document/root.tex

--- a/doc-src/Locales/Locales/document/root.tex	Wed Jun 04 16:44:31 2008 +0200
+++ b/doc-src/Locales/Locales/document/root.tex	Wed Jun 04 17:12:00 2008 +0200
@@ -1,5 +1,7 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{amsmath}
+\usepackage{ifpdf}
+\ifpdf\relax\else\def\pgfsysdriver{pgfsys-dvi.def}\fi
 \usepackage{tikz}
 \usepackage{subfigure}
 \usepackage{../../../isabelle,../../../isabellesym}