Document previously undocumented command line options.

* txr.1: Documented --gc-debug, --vg-debug and --dv-regex.

* txr.c (help): Cover above options.

1 files changed, 3 insertions, 0 deletions

diff --git a/txr.c b/txr.c
index 559e8ec1..c3cb4dd2 100644
--- a/txr.c
+++ b/txr.c
@@ -149,6 +149,9 @@ static void help(void)
 "                       increments by N megabytes since last collection.\n"
 "--debug-autoload       Allow debugger to step through library auto-loading.\n"
 "--yydebug              Debug Yacc parser, if compiled with YYDEBUG support.\n"
+"--gc-debug             Enable a garbage collector stress test (slow).\n"
+"--vg-debug             Enable Valgrind integration, if compiled in.\n"
+"--dv-regex             Handle all regexes using derivative-based back-end.\n"
 "\n"
 "Options that take no argument can be combined. The -q and -v options\n"
 "are mutually exclusive; the right-most one dominates.\n"