From 8c726c9b834b54fefa93555c76da071737ee7650 Mon Sep 17 00:00:00 2001
From: Orso Meneghini <orso82@gmail.com>
Date: Fri, 12 Jul 2024 14:19:28 -0700
Subject: [PATCH] update docs CI

---
 .github/workflows/make_docs.yml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/.github/workflows/make_docs.yml b/.github/workflows/make_docs.yml
index 7f0d516..cdef8fd 100644
--- a/.github/workflows/make_docs.yml
+++ b/.github/workflows/make_docs.yml
@@ -4,12 +4,7 @@ on:
     branches: ["master"]
   push:
     branches:
-      - master
-      - docs
-    paths:
-      - '.github/workflows/make_docs.yml'
-      - 'src/'
-      - 'docs/**'
+        - master
     tags: '*'
   workflow_dispatch: