typesetting/update-tests.rkt at main - typesetting - Gitea: Git with a cup of tea

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

5 lines

105 B

Racket

Raw Permalink Blame History

 #lang racket/base
 (require quadwriter "paths-to-test.rkt")
 (for-each update-test-pdf (find-test-paths))