diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2024-04-29 20:44:53 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-29 20:44:53 +0800 |
| commit | 2a654c085f16435a2efa33c0caa4b92143a920fa (patch) | |
| tree | 2f9801018b49e0b4acddf8d16ff6f195c47fbf98 /doc | |
| parent | b855a094f8e09c4dc405015d74187020991a3ae7 (diff) | |
be consistent in the use of quotes
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/tutorial/gf-tutorial.t2t | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tutorial/gf-tutorial.t2t b/doc/tutorial/gf-tutorial.t2t index c43382ea0..a734a57b6 100644 --- a/doc/tutorial/gf-tutorial.t2t +++ b/doc/tutorial/gf-tutorial.t2t @@ -1271,9 +1271,9 @@ This works on Mac OS X: ``` > parse "this delicious cheese is very Italian" | visualize_tree -view=open ``` -On Linux, one can write either of +On Linux, one can use one of the following commands. ``` - > parse "this delicious cheese is very Italian" | visualize_tree -view="eog" + > parse "this delicious cheese is very Italian" | visualize_tree -view=eog > parse "this delicious cheese is very Italian" | visualize_tree -view=xdg-open ``` |
