aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-06-13 07:32:04 +0000
committerNils Gillmann <ng0@n0.is>2018-06-13 07:32:04 +0000
commit01b37d9db39d96fc05dcdea8c35a3d62408cda59 (patch)
tree3822804b0e0ece66cc8841dd55798bcd62b5c9c4
parent0183db872cb4df16971ea045ef204f190d901ed9 (diff)
downloadgnunet-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.am3
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
7endif 7endif
8 8
9EXTRA_DIST = \ 9EXTRA_DIST = \
10 outdated-and-old-installation-instructions.txt 10 system_specific/outdated-and-old-installation-instructions.txt \
11 system_specific/FROM_SOURCE