*** /usr/ports/x11/xtexshell/work/xtexshell/xtexsh	Wed Feb 23 14:59:00 1994
--- xtexsh	Wed Oct 19 18:19:18 1994
***************
*** 1,6 ****
! #!/usr/X11/bin/wishx -f
  #*** The previous line *must* be wishx, because we *need* TclX extensions
  
! set  xtexsh_path  "/usr/local/src/XTeXShell-0.91"
  
  set  auto_path    "$xtexsh_path $auto_path"
--- 1,6 ----
! #!/usr/local/bin/wishx -f
  #*** The previous line *must* be wishx, because we *need* TclX extensions
  
! set  xtexsh_path  "/usr/local/lib/tk/XTeXShell-0.91"
  
  set  auto_path    "$xtexsh_path $auto_path"