gnu: gama: Delete bundled pdfs.

* gnu/packages/gps.scm (gama)[source]: Adjust snippet to also remove
generated PDFs.
This commit is contained in:
Efraim Flashner 2021-03-01 11:44:31 +02:00
parent ac17ff0669
commit 7ca43b0a1e
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -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