fix make dist

diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am
index c4d13102925ece2f0b2e9c36787f8fbe10c418c2..0435796a9e17ff6d56ba7441156716c9bf0d05dc 100644 (file)
--- 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                                              \