From 78ee4c0a1c9334a263f67f3bd08a6f370e1df502 Mon Sep 17 00:00:00 2001
From: Marius Gavrilescu <marius@ieval.ro>
Date: Mon, 16 Mar 2015 16:49:07 +0200
Subject: [PATCH] Add documentation for gruntmaster-problem check

---
 gruntmaster-problem | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
2.39.2