From: Schanzenbach, Martin <mschanzenbach@posteo.de>
Date: Sun, 15 Dec 2019 12:00:12 +0000 (+0100)
Subject: fix make dist
X-Git-Tag: v0.12.0~15^2
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=dfb6ce24cec42f9dcabf88c9a560018fe13dc4ff;p=oweals%2Fgnunet.git

fix make dist
---

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                                              \