diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-05-09 23:51:46 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-09 23:53:36 +0200 |
| commit | dd51caac55f052cecc61c7b8ab16654e3ace569f (patch) | |
| tree | b800ae3a39682c12cc4b68ae6cf3e3f69e839329 /.gitignore | |
| parent | e1fbc32a0a1d027ec641ac0e249ad9aa1d5a8ffa (diff) | |
doc: Show both the "bare-bones" and the "desktop" configurations.
* doc/guix.texi (System Installation): Add xref to "Using the
Configuration System" instead of including one here.
(Using the Configuration System): Remove first example, and include
os-config-bare-bones.texi instead. Include os-config-desktop.texi as
a second example.
* doc.am (OS_CONFIG_EXAMPLES_TEXI): New variable.
(BUILT_SOURCES, EXTRA_DIST, MAINTAINERCLEANFILES): Use it.
(doc/os-config.texi): Remove.
(doc/os-config-%.texi): New target.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index eaa7dbd51a..47cb39584e 100644 --- a/.gitignore +++ b/.gitignore @@ -112,3 +112,5 @@ GTAGS /emacs/guix-helper.scm /emacs/guix-init.el /emacs/guix-profiles.el +/doc/os-config-bare-bones.texi +/doc/os-config-desktop.texi |