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/getting_started/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/getting_started/main.tex')
-rw-r--r-- | manual/getting_started/main.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manual/getting_started/main.tex b/manual/getting_started/main.tex index 4d1798a4c7..f5eba1fae8 100644 --- a/manual/getting_started/main.tex +++ b/manual/getting_started/main.tex | |||
@@ -65,7 +65,7 @@ unsupported''. Manufacturer and model names are proper nouns, and | |||
65 | thus are written beginning with a capital letter. | 65 | thus are written beginning with a capital letter. |
66 | 66 | ||
67 | % write a bit more about names etc. here. | 67 | % write a bit more about names etc. here. |
68 | \Ifpdfoutput{ | 68 | \ifpdfoutput{ |
69 | This manual has some parts that are marked with icons on the margin to help | 69 | This manual has some parts that are marked with icons on the margin to help |
70 | you finding important parts or parts you could skip. The following icons | 70 | you finding important parts or parts you could skip. The following icons |
71 | are used: | 71 | are used: |
@@ -91,14 +91,14 @@ are used: | |||
91 | icon shown in the margin on the right. | 91 | icon shown in the margin on the right. |
92 | \\ | 92 | \\ |
93 | } | 93 | } |
94 | }{}% end Ifpdfoutput | 94 | }{}% end ifpdfoutput |
95 | 95 | ||
96 | Links to the wiki are abbreviated by the name of the wiki page. Those names | 96 | Links to the wiki are abbreviated by the name of the wiki page. Those names |
97 | are still linked so you can simply follow them like any other link in this | 97 | are still linked so you can simply follow them like any other link in this |
98 | manual. If you want to access a wiki page manually go to | 98 | manual. If you want to access a wiki page manually go to |
99 | \wikiicon{} \href{\wikibaseurl}{\wikibaseurl} | 99 | \wikiicon{} \href{\wikibaseurl}{\wikibaseurl} |
100 | and type the page name in the ``Go'' box at the top of the page. | 100 | and type the page name in the ``Go'' box at the top of the page. |
101 | \Ifpdfoutput{Links to wiki pages are also indicated by the symbol \wikiicon{} | 101 | \ifpdfoutput{Links to wiki pages are also indicated by the symbol \wikiicon{} |
102 | in front of the page name.}{} | 102 | in front of the page name.}{} |
103 | 103 | ||
104 | \input{getting_started/installation.tex} | 104 | \input{getting_started/installation.tex} |