diff options
| -rw-r--r-- | gnu/packages/gps.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/gps.scm b/gnu/packages/gps.scm index 633cdbd5d9..d2f0becec0 100644 --- a/gnu/packages/gps.scm +++ b/gnu/packages/gps.scm @@ -162,6 +162,7 @@ between two other data points.") (snippet '(begin (delete-file-recursively "lib/expat") + (for-each delete-file (find-files "doc/fig" "\\.pdf$")) #t)))) (build-system gnu-build-system) (arguments '(#:parallel-tests? #f)) ; race condition |