[DOC] Fix output .info filename during generation

diff --git a/doc/Makefile b/doc/Makefile
index d51a84341651772baaebf27b094a6a2ae76a9569..1d1032d4704a7707cdd1089183866c2492ed5d28 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,7 +6,7 @@ handshake.utxt: handshake.txt
        plantuml -tutxt handshake.txt
 
 govpn.info: *.texi handshake.utxt
-       $(MAKEINFO) index.texi
+       $(MAKEINFO) -o govpn.info index.texi
 
 govpn.html: *.texi handshake.utxt
        rm -f govpn.html/*.html