diff options
| author | Nils Gillmann <ng0@n0.is> | 2018-06-13 07:32:04 +0000 |
|---|---|---|
| committer | Nils Gillmann <ng0@n0.is> | 2018-06-13 07:32:04 +0000 |
| commit | 01b37d9db39d96fc05dcdea8c35a3d62408cda59 (patch) | |
| tree | 3822804b0e0ece66cc8841dd55798bcd62b5c9c4 | |
| parent | 0183db872cb4df16971ea045ef204f190d901ed9 (diff) | |
doc: Add new files to Makefile.
Signed-off-by: Nils Gillmann <ng0@n0.is>
| -rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 1070974d13..f60bde0845 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -7,4 +7,5 @@ if !DOCUMENTATION endif EXTRA_DIST = \ - outdated-and-old-installation-instructions.txt + system_specific/outdated-and-old-installation-instructions.txt \ + system_specific/FROM_SOURCE |