From 0fc3465090e44e1f5629a546e584f0dabaefb8bf Mon Sep 17 00:00:00 2001
From: Tom Schammo <44942510+TomSchammo@users.noreply.github.com>
Date: Thu, 26 Oct 2023 18:28:39 +0200
Subject: [PATCH] fix: Fix GitHub workflow

---
 .github/workflows/makefile.yml | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 8db022e..dc66ec0 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -14,14 +14,5 @@ jobs:
     steps:
     - uses: actions/checkout@v3
 
-    - name: configure
-      run: ./configure
-
-    - name: Install dependencies
+    - name: Build document
       run: make
-
-    - name: Run check
-      run: make check
-
-    - name: Run distcheck
-      run: make distcheck