From dfb6ce24cec42f9dcabf88c9a560018fe13dc4ff Mon Sep 17 00:00:00 2001 From: "Schanzenbach, Martin" Date: Sun, 15 Dec 2019 13:00:12 +0100 Subject: [PATCH] fix make dist --- doc/handbook/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am index c4d131029..0435796a9 100644 --- a/doc/handbook/Makefile.am +++ b/doc/handbook/Makefile.am @@ -81,7 +81,7 @@ gnunet_TEXINFOS = \ EXTRA_DIST = \ $(gnunet_TEXINFOS) \ htmlxref.cnf \ - gversion.texi \ + version.texi \ run-gendocs.sh \ docstyle.css \ manual.css \ -- 2.25.1