From ba7a4fc2ee78bbf69dd2781478f3a7ec6ac3df9d Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 12 Feb 2016 11:00:23 +0300 Subject: [PATCH] [DOC] Fix output .info filename during generation --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index d51a843..1d1032d 100644 --- 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 -- 2.44.0