2 files changed, 1 insertions, 1 deletions

diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index edeede61d..2b6fdc737 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -21,12 +21,12 @@ man_MANS = \
   gnunet-peerinfo.1 \
   gnunet-publish.1 \
   gnunet-rsa.1 \
+  gnunet-scalarproduct.1 \
   gnunet-search.1 \
   gnunet-statistics.1 \
   gnunet-transport.1 \
   gnunet-unindex.1 \
   gnunet-uri.1 \
-  gnunet-vectorproduct.1 \
   gnunet-vpn.1
 
 EXTRA_DIST = ${man_MANS}
diff --git a/doc/man/gnunet-vectorproduct.1 b/doc/man/gnunet-scalarproduct.1
index 6852694b6..6852694b6 100644
--- a/doc/man/gnunet-vectorproduct.1
+++ b/doc/man/gnunet-scalarproduct.1