summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--manual/preamble.tex14
1 files changed, 10 insertions, 4 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex
index 6cdb6e43e5..56771382ad 100644
--- a/manual/preamble.tex
+++ b/manual/preamble.tex
@@ -38,13 +38,13 @@
38\usepackage{graphicx} 38\usepackage{graphicx}
39\usepackage{verbatim} 39\usepackage{verbatim}
40\usepackage{makeidx} 40\usepackage{makeidx}
41\usepackage{amsmath}
42\usepackage{amssymb}
43\usepackage{fancyvrb} 41\usepackage{fancyvrb}
44\usepackage{enumerate} 42\usepackage{enumerate}
45\usepackage{subfigure}
46\usepackage{color} 43\usepackage{color}
47\usepackage{booktabs} 44\ifpdfoutput{\usepackage{booktabs}}%
45 {\newcommand{%
46 \toprule}{}\newcommand{\midrule}{\hline}\newcommand{\bottomrule}{}%
47 }
48\usepackage{longtable} 48\usepackage{longtable}
49\usepackage{url} 49\usepackage{url}
50\urlstyle{sf} 50\urlstyle{sf}
@@ -58,6 +58,12 @@
58% \draftangle{45} 58% \draftangle{45}
59 } 59 }
60 60
61% pdf output: try pdf first, then png and jpg as file format
62% html output: try png first, then jpg. Ignore pdf files
63% this only applies if no file extension is given!
64\ifpdfoutput{\DeclareGraphicsExtensions{.pdf,.png,.jpg}}%
65 {\DeclareGraphicsExtensions{.png,.jpg}}
66
61% fancy header style adjustments 67% fancy header style adjustments
62\fancyhead{} 68\fancyhead{}
63\fancyfoot{} 69\fancyfoot{}