From 687f9adfa8307dc3ea143e120a4b308bc3d4fc8c Mon Sep 17 00:00:00 2001
From: Connor Olding <cloningdonor@gmail.com>
Date: Sun, 1 Aug 2021 07:08:57 -0700
Subject: [PATCH] add option to use local files and ignore git

---
 regenerate | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/regenerate b/regenerate
index e604a3a..078f14d 100644
--- a/regenerate
+++ b/regenerate
@@ -40,6 +40,10 @@ if ! which git >/dev/null 2>&1; then
     [ "$1" != commit ] || die 'git not found'
     dash ./sh/document || die 'failed to generate documentation'
 
+elif [ "$1" = local ]; then
+    # user requested to ignore git.
+    dash ./sh/document || die 'failed to generate documentation'
+
 else
     # git available. document the most recent commit, without pending changes.