Disobedience: show playing/random-play global prefs as checkboxes.

[disorder] / scripts / macro-docs

diff --git a/scripts/macro-docs b/scripts/macro-docs
index 84f1f42e33f890ea43f18a8ee799be1146e60d5a..265ee350506c322312a04fad81ce7e594fd5e95d 100755 (executable)
--- a/scripts/macro-docs
+++ b/scripts/macro-docs
@@ -6,7 +6,7 @@ my $name;
 my $docs;
 while(defined($_ = <>)) {
   chomp;
-  if(!defined $name and m,^/\* (\@([a-z\-]+).*),) {
+  if(!defined $name and m,^/\*\$ (\@?([a-z\-]+).*),) {
     $name = $2;
     my $heading = $1;
     $docs = [$heading];