diff options
Diffstat (limited to 'doc_src/index.hdr.in')
| -rw-r--r-- | doc_src/index.hdr.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in index 64ed2eb7..c06d39d8 100644 --- a/doc_src/index.hdr.in +++ b/doc_src/index.hdr.in @@ -70,7 +70,7 @@ rm "cumbersome filename.txt" Will remove the file 'cumbersome filename.txt', while \fish -rm <asis>cumbersome filename.txt</asis> +rm \asis{cumbersome filename.txt} \endfish would remove the two files 'cumbersome' and 'filename.txt'. |