diff options
Diffstat (limited to 'manual/preamble.tex')
-rw-r--r-- | manual/preamble.tex | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex index c28b42a5b3..23bf7de168 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex | |||
@@ -107,12 +107,12 @@ | |||
107 | \begin{figure}[H] | 107 | \begin{figure}[H] |
108 | \begin{center} | 108 | \begin{center} |
109 | \IfFileExists{#1-\genericimg-\specimg.png} | 109 | \IfFileExists{#1-\genericimg-\specimg.png} |
110 | {\includegraphics[width=4cm]{#1-\genericimg-\specimg.png} | 110 | {\includegraphics[width=\screenshotsize]{#1-\genericimg-\specimg.png} |
111 | \typeout{Note: device specific image used}} | 111 | \typeout{Note: device specific image used}} |
112 | {\IfFileExists{#1-\genericimg.png} | 112 | {\IfFileExists{#1-\genericimg.png} |
113 | {\includegraphics[width=4cm]{#1-\genericimg.png}} | 113 | {\includegraphics[width=\screenshotsize]{#1-\genericimg.png}} |
114 | {\IfFileExists{#1} | 114 | {\IfFileExists{#1} |
115 | {\includegraphics[width=4cm]{#1} | 115 | {\includegraphics[width=\screenshotsize]{#1} |
116 | \typeout{Warning: deprecated plain image name used}}% | 116 | \typeout{Warning: deprecated plain image name used}}% |
117 | {\typeout{Missing image: #1 (\genericimg) (\specimg)}% | 117 | {\typeout{Missing image: #1 (\genericimg) (\specimg)}% |
118 | \color{red}{\textbf{WARNING!} Image not found}% | 118 | \color{red}{\textbf{WARNING!} Image not found}% |
@@ -268,3 +268,5 @@ | |||
268 | % special HTML output adjustments | 268 | % special HTML output adjustments |
269 | \ifpdfoutput{}{\setlength{\parindent}{0mm}} | 269 | \ifpdfoutput{}{\setlength{\parindent}{0mm}} |
270 | \ifpdfoutput{}{\renewcommand{\Forward}[1]{$\triangleright${}#1}} | 270 | \ifpdfoutput{}{\renewcommand{\Forward}[1]{$\triangleright${}#1}} |
271 | |||
272 | %\hfuzz=2pt \ No newline at end of file | ||