Create Makefiles for easier compilation

2023-09-24 15:39:37 +02:00
parent f186b52548
commit 58c58a97af
4 changed files with 74 additions and 5 deletions
--- a/12
+++ b/12
@@ -0,0 +1,12 @@
+MAKE=make
+
+.PHONY: code latex docs
+
+code:
+	$(MAKE) -C src
+
+latex:
+	$(MAKE) -C latex
+
+docs:
+	$(MAKE) -C src doxygen