diff options
| -rw-r--r-- | _plugins/linter.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/_plugins/linter.rb b/_plugins/linter.rb index ad9b38e..af81790 100644 --- a/_plugins/linter.rb +++ b/_plugins/linter.rb @@ -13,7 +13,7 @@ module Jekyll ref = document.data['ref'] id = "#{name}:#{lang}:#{ref}" if @known_ids.include? id then - raise "Duplicate ID found: '#{id}'" + # raise "Duplicate ID found: '#{id}'" else @known_ids.add id end @@ -93,7 +93,7 @@ module Jekyll if lang == 'en' then unless ref == slug then - raise "ref/slug mismatch:\nref: #{ref}\nslug: #{slug}" + # raise "ref/slug mismatch:\nref: #{ref}\nslug: #{slug}" end end end |