X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;fp=examples%2FGArrowTikZ.hs;h=54c31ee44c32a573e131a14b38f3b3eda00c23af;hp=f877b42e7ecdf28b0c03dff61ab3673ba39fc13e;hb=a857bd034d826d8718833dd360fe499d5e9c03ba;hpb=cb76623a15c668453a369b06698c6896ba3075ee

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
index f877b42..54c31ee 100644
--- a/examples/GArrowTikZ.hs
+++ b/examples/GArrowTikZ.hs
@@ -335,10 +335,12 @@ tikz' x = tikz $ optimize $ unG (x (PGArrowD { unG = GAS_const 12 }) (PGArrowD {
 main = do putStrLn "hello"
 tikz example
      = do putStrLn "\\documentclass{article}"
-          putStrLn "\\usepackage[landscape,paperwidth=20in,textheight=19in,paperheight=40in,textwidth=39in]{geometry}"
+          putStrLn "\\usepackage[paperwidth=\\maxdimen,paperheight=\\maxdimen]{geometry}"
           putStrLn "\\usepackage{tikz}"
           putStrLn "\\usepackage{amsmath}"
+          putStrLn "\\usepackage[tightpage,active]{preview}"
           putStrLn "\\begin{document}"
+          putStrLn "\\setlength\\PreviewBorder{5pt}"
           putStrLn $ "\\begin{tikzpicture}[every on chain/.style={join=by ->},yscale=-1]"
           putStrLn (toTikZ example)
           putStrLn "\\end{tikzpicture}"