diff options
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/electronics.scm | 3 |
1 files changed, 2 insertions, 1 deletions
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" |