diff options
| author | EuAndreh <eu@euandre.org> | 2022-04-20 16:07:36 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-04-20 16:07:36 -0300 |
| commit | 4bc8b4f099c9d38085c65e3fa7364266e22e8d6e (patch) | |
| tree | e7cc3bdcffa490e1916a7f6de7f6904b5aa0816a /src/xyz | |
| parent | src/xyz/euandreh/docs.scm: Stop filtering files (diff) | |
| download | package-repository-4bc8b4f099c9d38085c65e3fa7364266e22e8d6e.tar.gz package-repository-4bc8b4f099c9d38085c65e3fa7364266e22e8d6e.tar.xz | |
src/xyz/euandreh/docs.scm: Better filtering of RFC txt files
Diffstat (limited to 'src/xyz')
| -rw-r--r-- | src/xyz/euandreh/docs.scm | 3 |
1 files changed, 2 insertions, 1 deletions
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 |