957 commits

Author	SHA1	Message	Date
Eelco Dolstra	6de7886fb8	Slightly improve option type error messages	2013-10-23 20:08:22 +02:00
Eelco Dolstra	ec0911ce7f	Manual: Don't show obsolete/deprecated options	2013-10-23 20:08:21 +02:00
Eelco Dolstra	29014a47fb	Allow options to be marked as "internal" ... This means they're not for end users. Currently they're filtered from the manual, but we could include them in a separate section.	2013-10-23 20:08:21 +02:00
Michael Raskin	5bbb1f77b2	Adding SlimerJS — script-driven Gecko browser	2013-10-21 00:30:39 +04:00
Eelco Dolstra	ad0568e64a	mkEnableOption: Add a period at the end of the description	2013-10-17 14:29:51 +02:00
Eelco Dolstra	04690da3bd	Rename newOptionAttrSetToDocList -> optionAttrSetToDocList	2013-10-17 14:09:05 +02:00
Eelco Dolstra	5fef92c4a0	Move pkgs/lib/ to lib/	2013-10-10 13:28:21 +02:00