make --edit-charset required again

diff --git a/pctb/ocr.c b/pctb/ocr.c
index 7655659f902546278529397e0fecc225ea6da4e6..1f315c8d91c2d5fe1fafdae6474fb8ab145abc9a 100644 (file)
--- a/pctb/ocr.c
+++ b/pctb/ocr.c
@@ -223,7 +223,7 @@ static void callout_unknown(OcrReader *rd, int w, Pixcol cols[],
   Pixcol pv;
 
   FILE *resolver= resolve_start();
-  if (!resolver)
+  if (!resolver || !(o_flags & ff_editcharset))
     fatal("OCR failed - unrecognised characters or ligatures.\n"
          "Character set database needs to be updated or augmented.\n"
          "See README.charset.\n");