From c0ad7391bdefe6fe0f271a003ba98139d6502fee Mon Sep 17 00:00:00 2001
From: Michael Savage <mikejsavage@gmail.com>
Date: Sun, 29 Dec 2019 01:34:47 +0200
Subject: [PATCH] dist_ignore extract_examples.sh

---
 dist_ignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist_ignore b/dist_ignore
index f76ed1b..180fa64 100644
--- a/dist_ignore
+++ b/dist_ignore
@@ -28,4 +28,4 @@ release.sh
 dist_ignore
 tests/gen*
 tests/externals/ed25519-donna*
-doc/man2html.sh
+doc/*.sh
-- 
2.47.3