doc: Add new files to Makefile.
authorNils Gillmann <ng0@n0.is>
Wed, 13 Jun 2018 07:32:04 +0000 (07:32 +0000)
committerNils Gillmann <ng0@n0.is>
Wed, 13 Jun 2018 07:32:04 +0000 (07:32 +0000)
Signed-off-by: Nils Gillmann <ng0@n0.is>
doc/Makefile.am

index 1070974d13bdb50413d3702ba9ca7b60bcff8d98..f60bde0845c33c65f9dccc398abb7e96e2cc0fd7 100644 (file)
@@ -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