diff options
Diffstat (limited to 'Info')
| -rw-r--r-- | Info/10/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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' $@ - |