From 054e85761fc0743ebe957f759f3e6b46739d5a68 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 24 Jul 2014 23:07:53 +0200
Subject: [PATCH] doc: Add "guix system" to 'dir'.

* doc/guix.texi: Add "guix system" to the dir entry.
---
 doc/guix.texi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index 69bae80834..6b9e87018f 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -29,6 +29,8 @@ Documentation License''.
                       Managing packages with Guix.
 * guix build: (guix)Invoking guix build
                       Building packages with Guix.
+* guix system: (guix)Invoking guix system
+                      Managing the operating system configuration.
 @end direntry
 
 @titlepage