From eb070491eea3f96f7f563503db5fdbc02af7edd2 Mon Sep 17 00:00:00 2001 From: Geoffroy Van Cutsem Date: Thu, 10 Mar 2022 16:06:59 +0100 Subject: [PATCH] doc: fix the URL for projectacrn.github.io repo Fix the URL used to clone the projectacrn.github.io repo. Signed-off-by: Geoffroy Van Cutsem --- doc/tutorials/docbuild.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tutorials/docbuild.rst b/doc/tutorials/docbuild.rst index edbce5dbd..4d4ff4479 100644 --- a/doc/tutorials/docbuild.rst +++ b/doc/tutorials/docbuild.rst @@ -265,7 +265,7 @@ directly to the upstream repo rather than to a personal forked copy): .. code-block:: bash cd ~/projectacrn - git clone https://projectacrn/projectacrn.github.io.git + git clone https://github.com/projectacrn/projectacrn.github.io.git Then, after you've verified the generated HTML from ``make html`` looks good, you can push directly to the publishing site with: