Add documentation for gruntmaster-problem check

diff --git a/gruntmaster-problem b/gruntmaster-problem
index c3ee8def87efbe561ea8c239dc01ae54a9f431ad..816f919917e42a3c9c1a1cca412928d85963c672 100755 (executable)
--- a/gruntmaster-problem
+++ b/gruntmaster-problem
@@ -197,6 +197,7 @@ gruntmaster-problem - shell interface to Gruntmaster 6000 problems
   gruntmaster-problem set [--file] problem_id key value
   gruntmaster-problem get problem_id key
   gruntmaster-problem edit problem_id key
+  gruntmaster-problem check problem_id
 
 =head1 DESCRIPTION
 
@@ -236,6 +237,10 @@ Opens an editor with the value of the I<key> configuration option. After the edi
 
 Sets the I<key> configuration option of problem I<id> to the contents of the file I<file>.
 
+=item B<check> I<id>
+
+Rerun all reference jobs for problem I<id> and check their results.
+
 =back
 
 =head1 AUTHOR