documentation: checksum configuration for source files

Signed-off-by: Gordon Hecker <gh@emlix.com>

diff --git a/doc/manual/sources.text b/doc/manual/sources.text
index a22b2ca08e03a9d356a1e629f065175c47be79be..b6687d531adb7a6e924e5273f62aea445aa7ce6d 100644 (file)
--- a/doc/manual/sources.text
+++ b/doc/manual/sources.text
@@ -31,6 +31,8 @@ Example:
           {
             location = "z/zlib/1.2.3/zlib-1.2.3.tar.gz",
             unpack = "zlib-1.2.3",
+            -- sha1 is required if server is not "."
+            sha1 = "60faeaaf250642db5c0ea36cd6dcc9f99c8f3902",
           },
         }
     }