diff options
| author | Leo Famulari <leo@famulari.name> | 2021-12-05 23:17:53 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2021-12-16 13:51:54 -0500 |
| commit | 18d5e7c96bc642319245824a0a22d58846e73f10 (patch) | |
| tree | c50a3cd2d1f376997dc26d6f7d02764b112dfeb4 /gnu/packages/embedded.scm | |
| parent | 88b4dcdabe512992ae79a50fc333e4e463d91634 (diff) | |
lint: 'kdoctools' is typically used only while building.
* guix/lint.scm (check-inputs-should-be-native): Add kdoctools.
Diffstat (limited to 'gnu/packages/embedded.scm')
0 files changed, 0 insertions, 0 deletions