[DistroKit] [PATCH 2/2] doc: intro: link to license and Git history

[Roland Hieber <rhi@pengutronix.de>]

For the people who only have a tarball of the DistroKit source, the
version history is not included, so link to it. Also link to the full
license to make it easier to find when reading the HTML version.

Signed-off-by: Roland Hieber <rhi@pengutronix.de>
---
 doc/intro.rst | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/intro.rst b/doc/intro.rst
index 2d4ec2f71266..d07a238808f6 100644
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -138,5 +138,8 @@ License
 Copyright (C) 2020 Pengutronix and individual contributors
 
 DistroKit is licensed under the GNU General Public License, version 2.0.
-See the file named LICENSE in the root directory of this project for the full
-license terms, and the version control history for contributor information.
+See the file named `LICENSE`_ in the root directory of this project for the full
+license terms, and the `version control history`_ for contributor information.
+
+.. _LICENSE: https://git.pengutronix.de/cgit/DistroKit/tree/LICENSE
+.. _version control history: https://git.pengutronix.de/cgit/DistroKit/log
-- 
2.39.2