From 4158f162a22a00f6daaf5246c68d2ab8ab09043d Mon Sep 17 00:00:00 2001
From: Rosa Filgueira <rosa.filgueira@ed.ac.uk>
Date: Wed, 11 Jan 2023 16:15:02 +0000
Subject: [PATCH] README

---
 README.md | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 2b91e9c..28b310e 100644
--- a/README.md
+++ b/README.md
@@ -157,13 +157,11 @@ docker run -it -v -v $PWD:/out --rm inspect4py:1.0 /bin/bash
 root@e04792563e6a:/# inspect4py -i /out/path/to/repo
 ```
 
-<!--
 Other useful commands when using Docker:
 ```
 docker cp [OPTIONS] CONTAINER:SRC_PATH DEST_PATH|-
 docker image rm -f inspect4py:1.0
 ```
--->
 
 ## Execution
 
@@ -173,17 +171,16 @@ For example, it can be used to inspect all the python files of a given GitHub re
 The tool by default stores the results in the `OutputDir` directory, but users can specify their own directory name by using `-o` or `--output` flags.
 
 
-<!--
 ```
 inspect4py --input_path <FILE.py | DIRECTORY> [--output_dir "OutputDir", --ignore_dir_pattern "__", ignore_file_pattern "__" --requirements --html_output]
 ```
--->
 
 For clarity, we have added a `help` command to explain each input parameter:
 
 ```
 inspect4py --help
 
+```
 Usage: inspect4py [OPTIONS]
 
 Options: