diff options
-rw-r--r-- | doc/environment.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/environment.rst b/doc/environment.rst index 712c687bb..c37ab2b9c 100644 --- a/doc/environment.rst +++ b/doc/environment.rst @@ -102,8 +102,8 @@ Next step is to extract the archive: $ tar -xjf ptxdist-|ptxdistVendorVersion|.tar.bz2 -If everything goes well, we now have a PTXdist-|ptxdistVendorVersion| directory, so we can -change into it: +If everything goes well, we now have a ``ptxdist-|ptxdistVendorVersion|`` +directory, so we can change into it: :: |