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) | |
download | gnunet-01b37d9db39d96fc05dcdea8c35a3d62408cda59.tar.gz gnunet-01b37d9db39d96fc05dcdea8c35a3d62408cda59.zip |
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 1070974d1..f60bde084 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -7,4 +7,5 @@ if !DOCUMENTATION | |||
7 | endif | 7 | endif |
8 | 8 | ||
9 | EXTRA_DIST = \ | 9 | EXTRA_DIST = \ |
10 | outdated-and-old-installation-instructions.txt | 10 | system_specific/outdated-and-old-installation-instructions.txt \ |
11 | system_specific/FROM_SOURCE | ||