diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-04-06 12:00:29 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-04-06 12:00:29 +0200 |
| commit | 933d2fe4cfb380f66af631a2203ec23c367e5b1a (patch) | |
| tree | f10581ed0da1911eed9b02e69d999ba481d9d3c6 /doc.am | |
| parent | f8835ff4b3dd59d59bf44838d05d3d60114d15d2 (diff) | |
| parent | 998afc3608242b75051f43ece36d52474c51e285 (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'doc.am')
| -rw-r--r-- | doc.am | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -47,7 +47,8 @@ EXTRA_DIST += \ OS_CONFIG_EXAMPLES_TEXI = \ doc/os-config-bare-bones.texi \ - doc/os-config-desktop.texi + doc/os-config-desktop.texi \ + doc/os-config-lightweight-desktop.texi # Bundle this file so that makeinfo finds it in out-of-source-tree builds. BUILT_SOURCES += $(OS_CONFIG_EXAMPLES_TEXI) |