X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FHelp.java;h=8829be919fdbf204a83b19cca147ed389b6a32ff;hb=c932f0e85a8852824cdd8ce790af68682732c85c;hp=658b34fbbad3ce98152659f054b59d1d947db972;hpb=8bcbf5c32f8091f2d5871e7eec4d4727c26d5c63;p=jalview.git

diff --git a/src/jalview/gui/Help.java b/src/jalview/gui/Help.java
index 658b34f..8829be9 100644
--- a/src/jalview/gui/Help.java
+++ b/src/jalview/gui/Help.java
@@ -133,7 +133,7 @@ public class Help
         hb.setCurrentID(id.getId());
       } catch (BadIDException bad)
       {
-        System.out.println("Bad help link: " + id.getId()
+        jalview.bin.Console.outPrintln("Bad help link: " + id.getId()
                 + ": must match a target in help.jhm");
         throw bad;
       }