mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 04:58:53 +08:00
Add info build for monitor (#2568)
Ensure that monitor's documentation (monitor.info) is built during the build phase.
This commit is contained in:
parent
a69cc9d02c
commit
4d5e51241f
|
@ -2,6 +2,7 @@
|
|||
:description "Utilities for monitoring expressions"
|
||||
:type github
|
||||
:pkgname "GuiltyDolphin/monitor"
|
||||
:build `(("make" "-C" "doc" "monitor.info"))
|
||||
:info "doc"
|
||||
:branch "master"
|
||||
:depends dash)
|
||||
|
|
Loading…
Reference in New Issue
Block a user