From 7ca43b0a1e2215abe0df0708f31decace8e68911 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Mon, 1 Mar 2021 11:44:31 +0200
Subject: gnu: gama: Delete bundled pdfs.

* gnu/packages/gps.scm (gama)[source]: Adjust snippet to also remove
generated PDFs.
---
 gnu/packages/gps.scm | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3