diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-12 23:28:55 +0100 |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-12 23:28:55 +0100 |
| commit | aa96b7897b40bf1171f08d77e229ec57b2c4119a (patch) | |
| tree | d6be2cd9ab395ad031968c46d341881f8f3005e1 /web/input/doc/faq/root-plugins.md | |
| parent | c394fa1575c28380e56d4f1e9883d88dfa7266cf (diff) | |
| download | site-aa96b7897b40bf1171f08d77e229ec57b2c4119a.tar.gz | |
Documentation: Denote command lines with "$"
Add a prompt sign to all command lines in code blocks.
Diffstat (limited to 'web/input/doc/faq/root-plugins.md')
| -rw-r--r-- | web/input/doc/faq/root-plugins.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/input/doc/faq/root-plugins.md b/web/input/doc/faq/root-plugins.md index b5db74d..43994de 100644 --- a/web/input/doc/faq/root-plugins.md +++ b/web/input/doc/faq/root-plugins.md | |||
| @@ -15,7 +15,7 @@ message will appear: | |||
| 15 | 15 | ||
| 16 | To install, run as root: | 16 | To install, run as root: |
| 17 | 17 | ||
| 18 | make install-root | 18 | $ make install-root |
| 19 | 19 | ||
| 20 | Even if you are not root, the plugins will still be installed. This is for | 20 | Even if you are not root, the plugins will still be installed. This is for |
| 21 | packagers which can then alter the permissions of the plugins before | 21 | packagers which can then alter the permissions of the plugins before |