aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fischer@muhq.space>2023-06-29 19:31:24 +0200
committerFlorian Fischer <florian.fischer@muhq.space>2023-06-29 19:31:24 +0200
commit41c9bd3808f931818433c5d69c8056ce964df3c0 (patch)
tree1afc5fc50ae9645dc681b4d6bd35b9259701923b
parent4b57b3dc3d361b8a8e1fbe6414c0a4bf79c94b90 (diff)
downloadunterricht-41c9bd3808f931818433c5d69c8056ce964df3c0.tar.gz
unterricht-41c9bd3808f931818433c5d69c8056ce964df3c0.zip
remove obsolete Makefiles
-rw-r--r--Info/10/3/Makefile5
-rw-r--r--templates/Makefile3
2 files changed, 0 insertions, 8 deletions
diff --git a/Info/10/3/Makefile b/Info/10/3/Makefile
deleted file mode 100644
index bfa35964..00000000
--- a/Info/10/3/Makefile
+++ /dev/null
@@ -1,5 +0,0 @@
-# Include the top level common.mk file
-COMMON_MK = $(shell bash -c 'upfind() { [[ -f "$$1" ]] && printf "$$1" || ([ "$$(realpath $$(dirname "$$1"))" == "/" ] || upfind "../$$1") }; upfind common.mk')
-include $(COMMON_MK)
-
-protocol_printout.pdf: protocol.pdf
diff --git a/templates/Makefile b/templates/Makefile
deleted file mode 100644
index 9017ea47..00000000
--- a/templates/Makefile
+++ /dev/null
@@ -1,3 +0,0 @@
-# Include the top level common.mk file
-COMMON_MK = $(shell bash -c 'upfind() { [[ -f "$$1" ]] && printf "$$1" || ([ "$$(realpath $$(dirname "$$1"))" == "/" ] || upfind "../$$1") }; upfind common.mk')
-include $(COMMON_MK)