path: root/manual/getting_started/main.tex
diff options
authorFranklin Wei <>2020-06-28 00:08:42 -0400
committerFranklin Wei <>2020-06-28 00:08:42 -0400
commitca673d7e9fe2cf06fa9cabf026354a2ba0e73c6f (patch)
tree75d6b24cb7e4b2e0ca7253a763151123d9ccb88b /manual/getting_started/main.tex
parent140bf66b908f6c50ea87aa90cc5f314042a25eb5 (diff)
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')
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
thus are written beginning with a capital letter.
% write a bit more about names etc. here.
This manual has some parts that are marked with icons on the margin to help
you finding important parts or parts you could skip. The following icons
are used:
@@ -91,14 +91,14 @@ are used:
icon shown in the margin on the right.
-}{}% end Ifpdfoutput
+}{}% end ifpdfoutput
Links to the wiki are abbreviated by the name of the wiki page. Those names
are still linked so you can simply follow them like any other link in this
manual. If you want to access a wiki page manually go to
\wikiicon{} \href{\wikibaseurl}{\wikibaseurl}
and type the page name in the ``Go'' box at the top of the page.
-\Ifpdfoutput{Links to wiki pages are also indicated by the symbol \wikiicon{}
+\ifpdfoutput{Links to wiki pages are also indicated by the symbol \wikiicon{}
in front of the page name.}{}