diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-06-08 23:16:28 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-08 23:23:33 +0200 |
| commit | 10f4353dd6a89076a9088456f164109f9719d7cc (patch) | |
| tree | 46a0e67ac8149a1bf5144e33382342016bc74e5a /doc/guix.texi | |
| parent | 525da27c25bf16dfcb08472dec546e3ed4cebc65 (diff) | |
doc: Add missing node in master menu.
* doc/guix.texi (Top): Add missing ref to "Debugging Build Failures".
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 00bf24d3f7..d6275fe7ae 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -138,7 +138,7 @@ Programming Interface Defining Packages -* package Reference:: The package data type. +* package Reference :: The package data type. * origin Reference:: The origin data type. Utilities @@ -163,6 +163,7 @@ Invoking @command{guix build} * Common Build Options:: Build options for most commands. * Package Transformation Options:: Creating variants of packages. * Additional Build Options:: Options specific to 'guix build'. +* Debugging Build Failures:: Real life packaging experience. GNU Distribution @@ -4866,7 +4867,7 @@ described in the subsections below. * Common Build Options:: Build options for most commands. * Package Transformation Options:: Creating variants of packages. * Additional Build Options:: Options specific to 'guix build'. -* Debugging Build Failures:: Real life packaging experience +* Debugging Build Failures:: Real life packaging experience. @end menu @node Common Build Options |