gnunet-ev

GNUnet e.V. documents and protocols
Log | Files | Refs | README
commit 001509e42d3cb8b3c7e42cb4055d73be7065ebc5
parent 24641897e46cb63b71b4604c75d922b9bc7d459b
Author: Nils Gillmann <ng0@n0.is>
Date:   Wed, 24 Oct 2018 15:15:42 +0000

texi2pdf not texi

Signed-off-by: Nils Gillmann <ng0@n0.is>

Diffstat:

MMakefile | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-TEXI=texi -q
+TEXI=texi2pdf -q
 OUT=pdf_build_artifacts
 
 pdf: