From 01b37d9db39d96fc05dcdea8c35a3d62408cda59 Mon Sep 17 00:00:00 2001 From: Nils Gillmann Date: Wed, 13 Jun 2018 07:32:04 +0000 Subject: [PATCH] doc: Add new files to Makefile. Signed-off-by: Nils Gillmann --- doc/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 endif EXTRA_DIST = \ - outdated-and-old-installation-instructions.txt + system_specific/outdated-and-old-installation-instructions.txt \ + system_specific/FROM_SOURCE -- 2.25.1