From 0339be075b8e10e672610e6d9d7369d611041099 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 30 Jun 2022 11:11:46 +0100
Subject: [PATCH] add pdf creation

---
 openpower/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/openpower/Makefile b/openpower/Makefile
index abf4f3f30..196935b16 100755
--- a/openpower/Makefile
+++ b/openpower/Makefile
@@ -7,3 +7,4 @@ tex:
                     -N -o tex_out/overview.tex sv/overview.mdwn 
 	pandoc -f markdown -t latex --top-level-division=section \
                     -N -o tex_out/svp64.tex sv/svp64.mdwn 
+	pdflatex -synctex=1 -interaction=nonstopmode simple_v_spec.tex
-- 
2.30.2