From: Alain D D Williams <addw@phcomp.co.uk>
Date: Wed, 19 Aug 2020 17:30:42 +0000 (+0100)
Subject: Everything must depend on the Makefile
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6829e7f8da42a53b71bdc8ce373a73f448f0f5ba;p=libresoc-isa-manual.git

Everything must depend on the Makefile
---

diff --git a/powerpc-add/build/Makefile b/powerpc-add/build/Makefile
index cca1f5d..2354fb3 100644
--- a/powerpc-add/build/Makefile
+++ b/powerpc-add/build/Makefile
@@ -52,7 +52,10 @@ pdfs_with_bib = $(addsuffix .pdf, $(docs_with_bib))
 pdfs_without_bib = $(addsuffix .pdf, $(docs_without_bib))
 pdfs = $(pdfs_with_bib) $(pdfs_without_bib)
 
-pdf : $(pdfs)
+Makefile:	build/Makefile
+	ln -s $^ .
+
+pdf : $(pdfs) Makefile
 .PHONY: pdf open
 
 $(outdir):