diff --git a/doc/setup/building_docker.adoc b/doc/setup/building_docker.adoc index 73de704..0556c7e 100644 --- a/doc/setup/building_docker.adoc +++ b/doc/setup/building_docker.adoc @@ -12,7 +12,7 @@ It enables running OSI visualizer on non-Linux plattforms. **Steps** . Open a command line interpreter. -. Change to the OSI visualizer repository +. Change to the OSI visualizer repository. . Run the provided script to build the Docker image. + [source] diff --git a/doc/setup/building_visualizer.adoc b/doc/setup/building_visualizer.adoc index a88c265..edc1de7 100644 --- a/doc/setup/building_visualizer.adoc +++ b/doc/setup/building_visualizer.adoc @@ -18,7 +18,7 @@ OSI visualizer provides a script for building OSI visualizer. **Steps** . Open a command line interpreter. -. Change to the OSI visualizer repository +. Change to the OSI visualizer repository. . Run the provided script to build OSI visualizer. + [source] diff --git a/doc/setup/installing_dependencies.adoc b/doc/setup/installing_dependencies.adoc index 3ff749a..aba9cf6 100644 --- a/doc/setup/installing_dependencies.adoc +++ b/doc/setup/installing_dependencies.adoc @@ -21,7 +21,7 @@ It is recommended to use OSI Visualizer under _Ubuntu Linux 18.04 LTS_. . Open a command line interpreter. . Change to the OSI visualizer repository -. Run the following command to update the list of available packages and upgrad your system. +. Run the following command to update the list of available packages and upgrade your system. + [source] ----