From 435560642d204e240d3f81c15e79e4194e8044ed Mon Sep 17 00:00:00 2001 From: =?utf8?q?Oto=20=C5=A0=C5=A5=C3=A1va?= Date: Fri, 15 Mar 2024 11:44:54 +0100 Subject: [PATCH] doc/dev/build: add missing article --- doc/dev/build.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/dev/build.rst b/doc/dev/build.rst index 93242195e..4e2156e08 100644 --- a/doc/dev/build.rst +++ b/doc/dev/build.rst @@ -2,9 +2,9 @@ .. _build: -****************** -Cloning repository -****************** +********************** +Cloning the repository +********************** .. note:: Latest up-to-date packages for various distribution can be obtained from web ``_. -- 2.47.2