summaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authortonio <tonio@pkgsrc.org>2007-01-17 11:15:33 +0000
committertonio <tonio@pkgsrc.org>2007-01-17 11:15:33 +0000
commita86d2a8615fa17890a8afee98f0b0e0ea8d10d34 (patch)
treee8dcf3933c227a5469c588dae5babb08d342142c /mk
parentc12b58f84ebf35dd2bd50409df5412646625c8ef (diff)
downloadpkgsrc-a86d2a8615fa17890a8afee98f0b0e0ea8d10d34.tar.gz
Add coqide option description
Diffstat (limited to 'mk')
-rw-r--r--mk/defaults/options.description1
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/defaults/options.description b/mk/defaults/options.description
index bbcdcaba64e..8b64aa258ad 100644
--- a/mk/defaults/options.description
+++ b/mk/defaults/options.description
@@ -40,6 +40,7 @@ catalog-pgsql Store Bacula catalog in PostgreSQL database.
catalog-sqlite Store Bacula catalog in SQLite database.
cdparanoia Use cdparanoia to rip CDDA media.
cgi
+coqide Enable ide support for coq.
charset
cups Enable cups (Common UNIX Printing System) support.
curl Enable curl support.