*** Doc/Makefile.in.orig	Sun Apr 30 04:37:24 1995
--- Doc/Makefile.in	Sun Apr 30 04:37:32 1995
***************
*** 27,37 ****
  #
  
  SHELL = /bin/sh
!  
  srcdir     = @srcdir@
  VPATH      = @srcdir@
  top_srcdir = @top_srcdir@
!  
  prefix      = @prefix@
  exec_prefix = @exec_prefix@
  mandir      = $(prefix)/man/man1
--- 27,37 ----
  #
  
  SHELL = /bin/sh
! 
  srcdir     = @srcdir@
  VPATH      = @srcdir@
  top_srcdir = @top_srcdir@
! 
  prefix      = @prefix@
  exec_prefix = @exec_prefix@
  mandir      = $(prefix)/man/man1