diff options
Diffstat (limited to 'dev/util/monodoc')
| -rw-r--r-- | dev/util/monodoc/monodoc.mkbuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/util/monodoc/monodoc.mkbuild b/dev/util/monodoc/monodoc.mkbuild index 886e9a1..35d07fa 100644 --- a/dev/util/monodoc/monodoc.mkbuild +++ b/dev/util/monodoc/monodoc.mkbuild @@ -117,6 +117,7 @@ off: md5sum_download_and_check_0 off: md5sum_download_and_check_1 off: gpg_signature_check + on: manifest_check on: untar_source off: patch_source on: configure |