From: robin_listas@es.invalid   
      
   On 22/08/2020 05.32, William Unruh wrote:   
   > On 2020-08-22, Carlos E.R.  wrote:   
   >> On 22/08/2020 01.24, PaulRS wrote:   
   >>> In running Ghostscript it was looking for a font it could not find.   
   >>> Please explain what is going on with the DOUBLE Forward Slash:   
   >>> "/usr/share/ghostscript/9.52/Resource/Font//usr/share/ghostscript/9.52   
   >>> /."   
   >>>   
   >>> Supposedly a font it cannot find is in this directory that it did not   
   >>> find.  The double // is between "Font//usr"    This is a message   
   >>> returned.  It does find other fonts and successfully prints what I   
   >>> wanted.   
   >>   
   >> Typically the double "//" is a programming error, but has no consequence.   
   >   
   > That was what I thought at first but then I looked more carefully.   
   > But in this it is obvious that the programming error munged together two   
   > separate directories. /usr/share/ghostscript/9.52/Resource/Font and   
   > /usr/share/ghostscript/9.52/   
      
   You are right.   
      
   Still a programming error, with consequences this time :-)   
      
   --   
   Cheers, Carlos.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)