From 776f2f0a749d77c0bfd07661ce4ef8648eb3561e Mon Sep 17 00:00:00 2001 From: ng0 Date: Fri, 8 Nov 2019 10:47:01 +0000 Subject: [PATCH] add distfiles. --- doc/tutorial/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index 84fea0caf..157b5f60b 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am @@ -54,13 +54,14 @@ gnunet_tutorial_examples = \ info_TEXINFOS = \ gnunet-tutorial.texi -gnunet_TEXINFOS = \ +gnunet-tutorial_TEXINFOS = \ fdl-1.3.texi \ gpl-3.0.texi \ agpl-3.0.texi \ version.texi EXTRA_DIST = \ + $(gnunet-tutorial_TEXINFOS) \ $(gnunet_tutorial_examples) \ htmlxref.cnf \ run-gendocs.sh \ -- 2.25.1