diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-07-24 23:38:39 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-07-24 23:50:55 +0200 |
| commit | 931c132a58d86287d7a73964f9731a3b578538cc (patch) | |
| tree | 38dd8c2d521cf6fe0dce4641a09013cca70c4f8e /gnu/system | |
| parent | 054e85761fc0743ebe957f759f3e6b46739d5a68 (diff) | |
| download | patches-931c132a58d86287d7a73964f9731a3b578538cc.tar patches-931c132a58d86287d7a73964f9731a3b578538cc.tar.gz | |
doc: Make sure out-of-source-tree builds find os-config.tmpl.
* Makefile.am (BUILT_SOURCES): New variable.
* daemon.am (BUILT_SOURCES): Use +=.
* doc.am (BUILT_SOURCES, MAINTAINERCLEANFILES, EXTRA_DIST): Add
doc/os-config.texi.
(doc/os-config.texi): New target.
* doc/guix.texi (System Installation): Include os-config.texi.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions