[pkgsrc/trunk]: pkgsrc/mk/defaults Add coqide option description

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/f1060fb2a4d7
branches:  trunk
changeset: 524030:f1060fb2a4d7
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Wed Jan 17 11:15:33 2007 +0000

description:
Add coqide option description

diffstat:

 mk/defaults/options.description |  1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diffs (11 lines):

diff -r 4c67cab0a4f0 -r f1060fb2a4d7 mk/defaults/options.description
--- a/mk/defaults/options.description   Wed Jan 17 11:14:46 2007 +0000
+++ b/mk/defaults/options.description   Wed Jan 17 11:15:33 2007 +0000
@@ -40,6 +40,7 @@
 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.