1 files changed, 2 insertions, 2 deletions
diff --git a/langs/report_tx_git.php b/langs/report_tx_git.php
index 846f282ed..dc4f5e8bb 100644
--- a/langs/report_tx_git.php
+++ b/langs/report_tx_git.php
@@ -37,7 +37,7 @@ include 'lib.php';
 
 $errors = array(); // stored for error management ;)
 $c = (isset($_GET['c']) ? strip_tags(trim($_GET['c'])) : '');
-if (in_array($c, array('Webpages', 'Documentation', 'Cauldron'))) {
+if (in_array($c, array('Webpages', 'Documentation'/*, 'Cauldron'*/))) {
     $resource_type = $c; // filter only valid resource types
 } else {
     $resource_type = 'Webpages'; // default
@@ -476,7 +476,7 @@ if ('Documentation' != $resource_type) {
     $links[] = '<a href="./report_tx_git.php?c=Documentation">documentation translations</a>';
 }
 if ('Cauldron' != $resource_type) {
-    $links[] = '<a href="./report_tx_git.php?c=Cauldron">software translations</a>';
+//    $links[] = '<a href="./report_tx_git.php?c=Cauldron">software translations</a>';
 }
 $reports_links = '<p>You can also see reports about differences in ' . implode(" or ", $links) . '.</p>';
 echo $reports_links . PHP_EOL;