diff options
| -rw-r--r-- | docs-getting-files-en.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs-getting-files-en.xml b/docs-getting-files-en.xml index e0fa698..59d1644 100644 --- a/docs-getting-files-en.xml +++ b/docs-getting-files-en.xml @@ -63,7 +63,7 @@ cvs co docs-setup</userinput> To see a list of the available documents: </para> -<screen><prompt>$ </prompt><command>cvs co -c</command></screen> +<screen><userinput>cvs co -c</userinput></screen> <para> Pick your document of interest and then download it to your working directory: |