From: Sergey Matveev Date: Fri, 12 Feb 2016 08:00:23 +0000 (+0300) Subject: [DOC] Fix output .info filename during generation X-Git-Tag: 5.6^2~1 X-Git-Url: http://www.git.cypherpunks.ru/?p=govpn.git;a=commitdiff_plain;h=ba7a4fc2ee78bbf69dd2781478f3a7ec6ac3df9d [DOC] Fix output .info filename during generation --- 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