From 5aab6fb316fe2121d9845de738482ecf02be53df Mon Sep 17 00:00:00 2001
From: Vivien Kraus <vivien@planete-kraus.eu>
Date: Thu, 11 May 2023 21:32:10 +0200
Subject: Also convert the midi file to ogg

---
 guix.scm                 | 13 +++++++++++++
 je-vous-donne.xhtml      |  8 ++++----
 par-toute-la-terre.xhtml |  7 ++++---
 3 files changed, 21 insertions(+), 7 deletions(-)

diff --git a/guix.scm b/guix.scm
index 9335f8d..e971d3d 100644
--- a/guix.scm
+++ b/guix.scm
@@ -1,5 +1,6 @@
 (use-modules (guix gexp)
              (guix modules)
+             (gnu packages audio)
              (gnu packages music)
              (gnu packages imagemagick))
 
@@ -46,4 +47,16 @@
              (up (lambda (name stat result) #t))
              (skip (lambda (name stat result) #t))
              (error (lambda (name stat errno result) #t)))
+         (file-system-fold enter? leaf down up skip error #t "."))
+       (let ((enter? (lambda (name stat result) #t))
+             (leaf (lambda (name stat result)
+                     (when (string-prefix? "./" name)
+                       (set! name (substring name (string-length "./"))))
+                     (when (string-suffix? ".midi" name)
+                       (invoke #$(file-append timidity++ "/bin/timidity")
+                               "-Ov" name))))
+             (down (lambda (name stat result) #t))
+             (up (lambda (name stat result) #t))
+             (skip (lambda (name stat result) #t))
+             (error (lambda (name stat errno result) #t)))
          (file-system-fold enter? leaf down up skip error #t "."))))))
diff --git a/je-vous-donne.xhtml b/je-vous-donne.xhtml
index af0a275..7680bad 100644
--- a/je-vous-donne.xhtml
+++ b/je-vous-donne.xhtml
@@ -16,10 +16,10 @@
       instrument en ut.
     </p>
     <p>
-      Vous pouvez télécharger <a href="je-vous-donne.ly">le
-      fichier source Lilypond</a>
-      ou <a href="je-vous-donne.midi">le rendu MIDI</a>, ou ces
-      partitions :
+      Vous pouvez télécharger <a href="je-vous-donne.ly">le fichier
+      source Lilypond</a>, <a href="je-vous-donne.midi">le rendu
+      MIDI</a>, <a href="je-vous-donne.ogg">au format audio OGG</a>,
+      ou ces partitions :
     </p>
     <figure>
       <a href="je-vous-donne-choeur.pdf">
diff --git a/par-toute-la-terre.xhtml b/par-toute-la-terre.xhtml
index ef56663..5a01a3d 100644
--- a/par-toute-la-terre.xhtml
+++ b/par-toute-la-terre.xhtml
@@ -18,9 +18,10 @@
     </p>
     <p>
       Vous pouvez télécharger <a href="par-toute-la-terre.ly">le
-      fichier source Lilypond</a>
-      ou <a href="par-toute-la-terre.midi">le rendu MIDI</a>, ou ces
-      partitions :
+      fichier source
+      Lilypond</a>, <a href="par-toute-la-terre.midi">le rendu
+      MIDI</a>, <a href="par-toute-la-terre.ogg">au format audio
+      OGG</a>, ou ces partitions :
     </p>
     <figure>
       <a href="par-toute-la-terre-choeur.pdf">
-- 
cgit v1.2.3