02/04: doc: Mention 'guix lint -c derivation'.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 20d9034cc5bdfd0acec24b7589859cc77f5e9164
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Sun Jun 14 12:08:57 2020 +0200

    doc: Mention 'guix lint -c derivation'.
    
    * doc/guix.texi (Invoking guix lint): Mention the 'derivation' checker.
---
 doc/guix.texi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index 15e077a..aeeea78 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -9953,6 +9953,10 @@ Parse the @code{source} URL to determine if a tarball 
from GitHub is
 autogenerated or if it is a release tarball.  Unfortunately GitHub's
 autogenerated tarballs are sometimes regenerated.
 
+@item derivation
+Check that the derivation of the given packages can be successfully
+computed for all the supported systems (@pxref{Derivations}).
+
 @item archival
 @cindex Software Heritage, source code archive
 @cindex archival of source code, Software Heritage