From 4bc8b4f099c9d38085c65e3fa7364266e22e8d6e Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Wed, 20 Apr 2022 16:07:36 -0300
Subject: src/xyz/euandreh/docs.scm: Better filtering of RFC txt files

---
 src/xyz/euandreh/docs.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/xyz/euandreh')

diff --git a/src/xyz/euandreh/docs.scm b/src/xyz/euandreh/docs.scm
index 9ef3c75..7edae66 100644
--- a/src/xyz/euandreh/docs.scm
+++ b/src/xyz/euandreh/docs.scm
@@ -60,8 +60,9 @@ documenting the specification.")
            (define (rename-extension s)
              (string-replace-substring s ".txt" ".7rfc"))
            (for-each (lambda (f)
+                       (format #t "Copying file: ~a~%" f)
                        (copy-file f (string-append man (rename-extension f))))
-                     (find-files "." ".*\\.txt$"))))))
+                     (find-files "." "^rfc[0-9]+.txt$"))))))
     (home-page "https://www.rfc-editor.org/")
     (synopsis "The RFC technical and organizational documents about the Internet")
     (description
-- 
cgit v1.2.3