diff options
Diffstat (limited to 'src/xyz/euandreh')
| -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 |