make pdf the default make target

diff --git a/openpower/Makefile b/openpower/Makefile
index e1e51d304d3f8c84053f709ac038ec10daa1f189..ac8ed9862bec56fdd9ab166ba7616c421aeff6fc 100755 (executable)
--- 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'