diff options
author | Franklin Wei <franklin@rockbox.org> | 2020-06-28 00:08:42 -0400 |
---|---|---|
committer | Franklin Wei <franklin@rockbox.org> | 2020-06-28 00:08:42 -0400 |
commit | ca673d7e9fe2cf06fa9cabf026354a2ba0e73c6f (patch) | |
tree | 75d6b24cb7e4b2e0ca7253a763151123d9ccb88b /manual/rockbox_interface/main.tex | |
parent | 140bf66b908f6c50ea87aa90cc5f314042a25eb5 (diff) | |
download | rockbox-ca673d7e9fe2cf06fa9cabf026354a2ba0e73c6f.tar.gz rockbox-ca673d7e9fe2cf06fa9cabf026354a2ba0e73c6f.zip |
Partially revert the last commit.
The \if->\If replacement is a bit premature for texlive-2019, apparently.
Change-Id: Iab198c2f5e2f00ecdf7e2431e2b77c423e6afc07
Diffstat (limited to 'manual/rockbox_interface/main.tex')
-rw-r--r-- | manual/rockbox_interface/main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/rockbox_interface/main.tex b/manual/rockbox_interface/main.tex index cbd24ea085..f11246f162 100644 --- a/manual/rockbox_interface/main.tex +++ b/manual/rockbox_interface/main.tex | |||
@@ -5,7 +5,7 @@ | |||
5 | 5 | ||
6 | % include the front image. Using \specimg makes this fairly easy, | 6 | % include the front image. Using \specimg makes this fairly easy, |
7 | % but requires to use the exact value of \specimg in the filename! | 7 | % but requires to use the exact value of \specimg in the filename! |
8 | % The extension is selected in the preamble, so no further \Ifpdfoutput | 8 | % The extension is selected in the preamble, so no further \ifpdfoutput |
9 | % is necessary. | 9 | % is necessary. |
10 | % | 10 | % |
11 | % The check looks for a png file -- we use png for the HTML manual, so that | 11 | % The check looks for a png file -- we use png for the HTML manual, so that |