05/06: doc: Add "Documentation" section.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit 31f1f593fb835978085566e50d3d8c576d55fe99
Author: Ludovic Courtès <address@hidden>
Date:   Wed Apr 5 22:44:27 2017 +0200

    doc: Add "Documentation" section.
    
    * doc/guix.texi (Documentation): New node.
---
 doc/guix.texi | 66 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 66 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index b2498d0..c29af46 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -165,6 +165,7 @@ GNU Distribution
 
 * System Installation::         Installing the whole operating system.
 * System Configuration::        Configuring the operating system.
+* Documentation::                Browsing software user manuals.
 * Installing Debugging Files::  Feeding the debugger.
 * Security Updates::            Deploying security fixes quickly.
 * Package Modules::             Packages from the programmer's viewpoint.
@@ -6907,6 +6908,7 @@ For information on porting to other architectures or 
kernels,
 @menu
 * System Installation::         Installing the whole operating system.
 * System Configuration::        Configuring the operating system.
+* Documentation::                Browsing software user manuals.
 * Installing Debugging Files::  Feeding the debugger.
 * Security Updates::            Deploying security fixes quickly.
 * Package Modules::             Packages from the programmer's viewpoint.
@@ -15905,6 +15907,70 @@ This service represents address@hidden
 @end defvr
 
 
address@hidden Documentation
address@hidden Documentation
+
address@hidden documentation, searching for
address@hidden searching for documentation
address@hidden Info, documentation format
address@hidden man pages
address@hidden manual pages
+In most cases packages installed with Guix come with documentation.
+There are two main documentation formats: ``Info'', a browseable
+hypertext format used for GNU software, and ``manual pages'' (or ``man
+pages''), the linear documentation format traditionally found on Unix.
+Info manuals are accessed with the @command{info} command or with Emacs,
+and man pages are accessed using @command{man}.
+
+You can look for documentation of software installed on your system by
+keyword.  For example, the following command searches for information
+about ``TLS'' in Info manuals:
+
address@hidden
+$ info -k TLS
+"(emacs)Network Security" -- STARTTLS
+"(emacs)Network Security" -- TLS
+"(gnutls)Core TLS API" -- gnutls_certificate_set_verify_flags
+"(gnutls)Core TLS API" -- gnutls_certificate_set_verify_function
address@hidden
address@hidden example
+
address@hidden
+The command below searches for the same keyword in man pages:
+
address@hidden
+$ man -k TLS
+SSL (7)              - OpenSSL SSL/TLS library
+certtool (1)         - GnuTLS certificate tool
address@hidden {}
address@hidden example
+
+These searches are purely local to your computer so you have the
+guarantee that documentation you find corresponds to what you have
+actually installed, you can access it off-line, and your privacy is
+respected.
+
+Once you have these results, you can view the relevant documentation by
+running, say:
+
address@hidden
+$ info "(gnutls)Core TLS API"
address@hidden example
+
address@hidden
+or:
+
address@hidden
+$ man certtool
address@hidden example
+
+Info manuals contain sections and indices as well as hyperlinks like
+those found in Web pages.  The @command{info} reader (@pxref{Top, Info
+reader,, info-stnd, Stand-alone GNU Info}) and its Emacs counterpart
+(@pxref{Misc Help,,, emacs, The GNU Emacs Manual}) provide intuitive key
+bindings to navigate manuals.  @xref{Getting Started,,, info, Info: An
+Introduction}, for an introduction to Info navigation.
+
 @node Installing Debugging Files
 @section Installing Debugging Files