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
commitd77734ad4d7cb3d7b0887923a58a5a5a02743906 (patch)
treee8dcf3933c227a5469c588dae5babb08d342142c /mk
parentce4d7d521518870f50cb1558bfddc304cb0b9cd0 (diff)
downloadpkgsrc-d77734ad4d7cb3d7b0887923a58a5a5a02743906.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.