From 3adc6adbbf72532db1a62aa635f78d91f1b05544 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Mon, 5 Sep 2022 23:19:17 -0700
Subject: [PATCH] make pdf the default make target

---
 openpower/Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/openpower/Makefile b/openpower/Makefile
index e1e51d304..ac8ed9862 100755
--- a/openpower/Makefile
+++ b/openpower/Makefile
@@ -1,4 +1,8 @@
 #!/usr/bin/make -f
+.PHONY: tex clean upload pdf
+
+pdf : simple_v_spec.pdf
+
 ISA_DIR := ../../openpower-isa/openpower/isa
 SOURCE_TEX := \
 	tex_out/remap.tex \
@@ -424,8 +428,6 @@ simple_v_spec.pdf : tex simple_v_spec.tex
 	pdflatex -synctex=1 -interaction=nonstopmode simple_v_spec.tex
 	bibtex simple_v_spec.aux
 
-pdf : simple_v_spec.pdf
-
 upload : pdf
 	rsync -HPavz simple_v_spec.pdf libre-soc.org:
 	ssh libre-soc.org 'cp simple_v_spec.pdf /var/www/ftp.libre-riscv.org'
-- 
2.30.2