diff options
authorYann E. MORIN <>2018-06-02 08:01:01 (GMT)
committerThomas Petazzoni <>2018-06-10 14:33:44 (GMT)
commit529219ba96128b3de17dc1201f0b64d723013315 (patch)
parent1ec1f865515223426518e0709d4ca8b57dded6fc (diff)
docs/manual: always point to the correct license file
The manual is GPL-2, and points to the COPYING file in the repository. When we do a rendering of the manual for a specific version, that URL is currently always poitning to the latest version of the COPYING file. If we ever have to change the content of that file (e.g. to add a new exception, more clarifications, a license change, or whatever), then an old manual would point to that newer version, which would then be incorrect. Include the sha1 of the commit in the URL, so that the manual always point to the tree at the time the manual was rendered, not the time it is consulted. Contrary to the informative text above, use the full sha1, not the shortened one. Signed-off-by: "Yann E. MORIN" <> Cc: Thomas De Schampheleire <> Cc: Luca Ceresoli <> Signed-off-by: Thomas Petazzoni <>
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/manual/manual.txt b/docs/manual/manual.txt
index afb53d0..9d50760 100644
--- a/docs/manual/manual.txt
+++ b/docs/manual/manual.txt
@@ -9,8 +9,8 @@ Buildroot {sys:echo $\{BR2_VERSION%%-git*\}} manual generated on {localdate}
The Buildroot manual is written by the Buildroot developers.
It is licensed under the GNU General Public License, version 2. Refer to the
-[COPYING] file in the Buildroot
-sources for the full text of this license.
+{sys:git rev-parse HEAD}[COPYING]
+file in the Buildroot sources for the full text of this license.
Copyright (C) 2004-2018 The Buildroot developers