fix CI stuff

d120 · Sep 29, 2024 · 8db5199 · 8db5199
1 parent 6d4de10
commit 8db5199
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -31,13 +31,7 @@ jobs:
       # 3. Build the documents
       - name: "Build the documents"
         run: |
-          make -j -C lecture compile
-          make -j -C exercises compile
-          make -j -C misc/linux_commands compile
-          mkdir -p pdfout
-          cp lecture/pdfout/*.pdf pdfout/
-          cp exercises/pdfout/*.pdf pdfout/
-          cp misc/linux_commands/pdfout/*.pdf pdfout/
+          make -j
 
       # 4. Upload artifacts to GitHub
       - name: Upload artifacts to GitHub

diff --git a/Makefile b/Makefile
@@ -1,7 +1,8 @@
+.DEFAULT_GOAL := all
 
 OUT_DIR := pdfout/
 # find all makefiles in subdirectories
-MAKEFILES := $(shell find . -mindepth 2 -name 'Makefile' -not -path './.git/*' -not -path './.devcontainer')
+MAKEFILES := $(shell find . -mindepth 2 -name 'Makefile' -not -path './.git/**/*' -not -path './.devcontainer/**/*')
 
 $(MAKEFILES:Makefile=Makefile.all):
 	$(eval MAKEFILE := $(patsubst %.all,%,$@))