aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2012-11-25 15:30:03 +0100
committerLudovic Courtès <ludo@gnu.org>2012-11-25 16:08:10 +0100
commitc80e7e55b37575baa310b1c5e6ed10903904b8d6 (patch)
tree0fb6351d93d855f871cb34156cdccfb590ff3533 /doc
parentda7b042dd921acce03453e6433512b572463c5c5 (diff)
downloadpatches-c80e7e55b37575baa310b1c5e6ed10903904b8d6.tar
patches-c80e7e55b37575baa310b1c5e6ed10903904b8d6.tar.gz
doc: Mention the pronunciation of "Guix".
* README: Mention pronunciation of "Guix". * doc/guix.texi (Introduction): Likewise.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi14
1 files changed, 8 insertions, 6 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 93dd69ff56..bab5cf7a8f 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -78,12 +78,14 @@ package management tool written for the GNU system.
@node Introduction
@chapter Introduction
-GNU Guix is a functional package management tool for the GNU system.
-Package management consists in all the activities that relate to
-building packages from source, honoring the build-time and run-time
-dependencies on packages, installing packages in user environments,
-upgrading installed packages to new versions or rolling back to a
-previous set, removing unused software packages, etc.
+GNU Guix@footnote{``Guix'' is pronounced like ``geeks'', or ``ɡiːks''
+using the international phonetic alphabet (IPA).} is a functional
+package management tool for the GNU system. Package management consists
+in all the activities that relate to building packages from source,
+honoring the build-time and run-time dependencies on packages,
+installing packages in user environments, upgrading installed packages
+to new versions or rolling back to a previous set, removing unused
+software packages, etc.
@cindex functional package management
The term @dfn{functional} refers to a specific package management