From 325c23cd0f80456111ce886af141501a8a74282c Mon Sep 17 00:00:00 2001 From: Michael Opdenacker Date: Mon, 28 Mar 2022 17:37:44 +0200 Subject: manuals: fix quoting of double dashes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Otherwise rendered as "en" dashes by sphinx, for example: git pull –rebase instead of git pull --rebase Readers could confuse them with normal dashes. Exception: replace by \-\- in italic text (*text*) as Sphinx cannot nest italic and quoted text. For consistency, also update quoting in strings in the same code hunks. (From yocto-docs rev: 4e7ce372e37f76148f623a5295a15e08bc2603ff) Signed-off-by: Michael Opdenacker Signed-off-by: Richard Purdie --- documentation/overview-manual/development-environment.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'documentation/overview-manual/development-environment.rst') diff --git a/documentation/overview-manual/development-environment.rst b/documentation/overview-manual/development-environment.rst index 8ffa8c7e3e..19095fc116 100644 --- a/documentation/overview-manual/development-environment.rst +++ b/documentation/overview-manual/development-environment.rst @@ -550,11 +550,11 @@ descriptions and strategies on how to use these commands: You need to be in a local branch other than the one you are deleting in order to delete branch-name. -- *git pull --rebase:* Retrieves information from an upstream Git +- *git pull \-\-rebase*: Retrieves information from an upstream Git repository and places it in your local Git repository. You use this command to make sure you are synchronized with the repository from which you are basing changes (e.g. the "&DISTRO_NAME_NO_CAP;" - branch). The "--rebase" option ensures that any local commits you + branch). The ``--rebase`` option ensures that any local commits you have in your branch are preserved at the top of your local branch. - *git push repo-name local-branch:upstream-branch:* Sends -- cgit v1.2.3-54-g00ecf