From 477ab95b3f8bdaf75d4c9d9dcde69fc99655ca08 Mon Sep 17 00:00:00 2001 From: Noa Tamir <6564007+noatamir@users.noreply.github.com> Date: Fri, 20 Jan 2023 09:50:27 +0100 Subject: [PATCH 1/3] added missing line break --- doc/source/development/contributing_gitpod.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/source/development/contributing_gitpod.rst b/doc/source/development/contributing_gitpod.rst index 664711dc8928b..e4844924083b5 100644 --- a/doc/source/development/contributing_gitpod.rst +++ b/doc/source/development/contributing_gitpod.rst @@ -145,7 +145,8 @@ docs you need to run the following command in the docs directory:: Alternatively you can build a single page with:: - python make.py html python make.py --single development/contributing_gitpod.rst + python make.py html + python make.py --single development/contributing_gitpod.rst You have two main options to render the documentation in Gitpod. From 126dfd5959f7aab0b4314b5a0dd35c543c200ef1 Mon Sep 17 00:00:00 2001 From: Noa Tamir <6564007+noatamir@users.noreply.github.com> Date: Fri, 20 Jan 2023 11:14:30 +0100 Subject: [PATCH 2/3] trim whitespace --- doc/source/development/contributing_gitpod.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/development/contributing_gitpod.rst b/doc/source/development/contributing_gitpod.rst index e4844924083b5..03f15d7f51535 100644 --- a/doc/source/development/contributing_gitpod.rst +++ b/doc/source/development/contributing_gitpod.rst @@ -145,7 +145,7 @@ docs you need to run the following command in the docs directory:: Alternatively you can build a single page with:: - python make.py html + python make.py html python make.py --single development/contributing_gitpod.rst You have two main options to render the documentation in Gitpod. From 042b2e129317a439d4a6df74890304ecab1fa7fe Mon Sep 17 00:00:00 2001 From: Noa Tamir <6564007+noatamir@users.noreply.github.com> Date: Fri, 20 Jan 2023 17:40:15 +0100 Subject: [PATCH 3/3] remove unnecessary command Co-authored-by: Marc Garcia --- doc/source/development/contributing_gitpod.rst | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/source/development/contributing_gitpod.rst b/doc/source/development/contributing_gitpod.rst index 03f15d7f51535..c591be5425db9 100644 --- a/doc/source/development/contributing_gitpod.rst +++ b/doc/source/development/contributing_gitpod.rst @@ -145,7 +145,6 @@ docs you need to run the following command in the docs directory:: Alternatively you can build a single page with:: - python make.py html python make.py --single development/contributing_gitpod.rst You have two main options to render the documentation in Gitpod.