From e3b92bd261ddda1a6e93ec7e8f46b1819d6d44c3 Mon Sep 17 00:00:00 2001
From: David Holdeman <david@chuckwagoncomputing.com>
Date: Sun, 12 Jul 2020 09:08:32 -0500
Subject: [PATCH] switched gen-docs to daily (#1601)

---
 .github/workflows/gen-docs.yaml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/gen-docs.yaml b/.github/workflows/gen-docs.yaml
index 67001c5cc4..f543fe7867 100644
--- a/.github/workflows/gen-docs.yaml
+++ b/.github/workflows/gen-docs.yaml
@@ -1,9 +1,8 @@
 name: Generate documentation
 
 on:
-  push:
-    branches:
-      - master
+  schedule:
+    - cron: '0 0 * * *'
 
 jobs:
   generate: