# HG changeset patch
# User wenzelm
# Date 1400511104 -7200
# Node ID 188b70a0022937903ecd80a80a4f91e339d3e9a0
# Parent  97a80d41a5ba03949e590d60c57f9616451f1849
obsolete -- always pdf;

diff -r 97a80d41a5ba -r 188b70a00229 src/Doc/Locales/document/root.tex
--- a/src/Doc/Locales/document/root.tex	Mon May 19 16:48:29 2014 +0200
+++ b/src/Doc/Locales/document/root.tex	Mon May 19 16:51:44 2014 +0200
@@ -12,7 +12,6 @@
 \usepackage{pdfsetup}
 
 \usepackage{ifpdf}
-\ifpdf\relax\else\def\pgfsysdriver{pgfsys-dvi.def}\fi
 \usepackage{tikz}
 \usepackage{subfigure}