# HG changeset patch
# User wenzelm
# Date 1212592320 -7200
# Node ID 9102d87efd3ddd39b215e5e75a75df869cdc0ab4
# Parent  6d2a458be1b6ef7a8e2c2d282fc4b53c373d6492
tikz: change to pgfsys-dvi.def for plain dvi output;

diff -r 6d2a458be1b6 -r 9102d87efd3d 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}