code: def DviPsStrFunction(target = None, source= None, env=None):
      
      if env.GetOption("no_exec"):
          result = env.subst('$PSCOM',0,target,source)
      else:
          result = ''
      return result
docs: A strfunction for dvipdf that returns the appropriate
      command string for the no_exec options.