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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions