[PATCH] docs: rv: Fix full name of the GPL

[Diederik de Haas]

Signed-off-by: Diederik de Haas <didi.debian@xxxxxxxxx>
---
 Documentation/tools/rv/common_appendix.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/tools/rv/common_appendix.rst b/Documentation/tools/rv/common_appendix.rst
index f4239192bee8..655e1bd9bbe4 100644
--- a/Documentation/tools/rv/common_appendix.rst
+++ b/Documentation/tools/rv/common_appendix.rst
@@ -13,4 +13,4 @@ COPYING
 =======
 
 Copyright \(C) 2022 Red Hat, Inc. Free use of this software is granted under
-the terms of the GNU Public License (GPL).
+the terms of the GNU General Public License (GPL).
-- 
2.39.0