diff options
Diffstat (limited to 'manual/getting_started')
-rw-r--r-- | manual/getting_started/main.tex | 5 |
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 | ||
95 | Links to the wiki are abbreviated by the name of the wiki page. Those names | 95 | Links to the wiki are abbreviated by the name of the wiki page. Those names |
96 | are still linked so you can simply follow them like any other link in this | 96 | are still linked so you can simply follow them like any other link in this |
97 | manual. If you want to access a wiki page manually go to \url{\wikibaseurl} | 97 | manual. If you want to access a wiki page manually go to |
98 | \wikiicon{} \href{\wikibaseurl}{\wikibaseurl} | ||
98 | and type the page name in the ``Go'' box at the top of the page. | 99 | and 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{} |
100 | in front of the page name.}{} | 101 | in front of the page name.}{} |
101 | 102 | ||
102 | \input{getting_started/installation.tex} | 103 | \input{getting_started/installation.tex} |