summaryrefslogtreecommitdiff
path: root/manual/getting_started/main.tex
diff options
context:
space:
mode:
Diffstat (limited to 'manual/getting_started/main.tex')
-rw-r--r--manual/getting_started/main.tex5
1 files changed, 3 insertions, 2 deletions
diff --git a/manual/getting_started/main.tex b/manual/getting_started/main.tex
index b41f987829..9b68312723 100644
--- a/manual/getting_started/main.tex
+++ b/manual/getting_started/main.tex
@@ -94,9 +94,10 @@ are used:
94 94
95Links to the wiki are abbreviated by the name of the wiki page. Those names 95Links to the wiki are abbreviated by the name of the wiki page. Those names
96are still linked so you can simply follow them like any other link in this 96are still linked so you can simply follow them like any other link in this
97manual. If you want to access a wiki page manually go to \url{\wikibaseurl} 97manual. If you want to access a wiki page manually go to
98\wikiicon{} \href{\wikibaseurl}{\wikibaseurl}
98and type the page name in the ``Go'' box at the top of the page. 99and type the page name in the ``Go'' box at the top of the page.
99\ifpdfoutput{Links to wiki pages are also indicated by the symbol \wikiicon 100\ifpdfoutput{Links to wiki pages are also indicated by the symbol \wikiicon{}
100in front of the page name.}{} 101in front of the page name.}{}
101 102
102\input{getting_started/installation.tex} 103\input{getting_started/installation.tex}