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 @@ (define-public gama (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