From 6829e7f8da42a53b71bdc8ce373a73f448f0f5ba Mon Sep 17 00:00:00 2001 From: Alain D D Williams Date: Wed, 19 Aug 2020 18:30:42 +0100 Subject: [PATCH] Everything must depend on the Makefile --- powerpc-add/build/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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): -- 2.30.2