From 28c1364820e3758c3af45e5d8b0d75f7b8cf60a3 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Sun, 7 May 2023 17:28:03 +0200 Subject: support special subdir Makefiles * dynamically find the location of common.mk * specify MAKEFILE_DIR in common.mk if not already defined --- Info/10/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Info') diff --git a/Info/10/Makefile b/Info/10/Makefile index af11d41e..9a8c4823 100644 --- a/Info/10/Makefile +++ b/Info/10/Makefile @@ -1,8 +1,8 @@ -include ../../common.mk +COMMON_MK = $(shell bash -c 'upfind() { [[ -f "$$1" ]] && printf "$$1" || ([ "$$(realpath $$(dirname "$$1"))" == "/" ] || upfind "../$$1") }; upfind common.mk') +include $(COMMON_MK) java_cheatsheet.pdf: java_cheatsheet.tex rubber --pdf $< && rubber --clean -q $< java_cheatsheet.tex: java_cheatsheet.md | Makefile pandoc $< -o $@ --standalone && sed -i '/[^,]\\\\$$/a \\\\midrule' $@ - -- cgit v1.2.3