summaryrefslogtreecommitdiff
path: root/mk/defaults
diff options
context:
space:
mode:
authortonio <tonio>2007-01-17 11:15:33 +0000
committertonio <tonio>2007-01-17 11:15:33 +0000
commit921c4bddc2cc9103dd0fdc9341d4e402140ad14d (patch)
treee8dcf3933c227a5469c588dae5babb08d342142c /mk/defaults
parent04b3f634fd562459c4b693ad4a89dbddc5484313 (diff)
downloadpkgsrc-921c4bddc2cc9103dd0fdc9341d4e402140ad14d.tar.gz
Add coqide option description
Diffstat (limited to 'mk/defaults')
-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.