diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 19bf9f5d66..26f90695b9 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -75,7 +75,8 @@ to take care of the OS-specific details when writing software that uses serial p
        (modify-phases %standard-phases
          (add-after 'build 'build-doc
            (lambda _
-             (zero? (system* "doxygen"))))
+             (invoke "doxygen")
+             #t))
          (add-after 'install 'install-doc
            (lambda* (#:key outputs #:allow-other-keys)
              (copy-recursively "doxy/html-api"