From: Marius Gavrilescu <marius@ieval.ro>
Date: Mon, 16 Mar 2015 14:49:07 +0000 (+0200)
Subject: Add documentation for gruntmaster-problem check
X-Git-Tag: 5999.000_014~57
X-Git-Url: http://git.ieval.ro/?p=gruntmaster-data.git;a=commitdiff_plain;h=78ee4c0a1c9334a263f67f3bd08a6f370e1df502

Add documentation for gruntmaster-problem check
---

diff --git a/gruntmaster-problem b/gruntmaster-problem
index c3ee8de..816f919 100755
--- 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