--- Makefile.in.orig Sun Sep 10 14:33:20 2000 +++ Makefile.in Sun Sep 10 14:33:35 2000 @@ -12,7 +12,7 @@ srcdir = @srcdir@ prefix = $(DESTDIR)@prefix@ exec_prefix = @exec_prefix@ -bindir = $(exec_prefix)/X11R6/bin +bindir = $(exec_prefix)/bin mandir = $(prefix)/X11R6/man/man1 doc_prefix = $(prefix)/share/doc # FIXME: which prefix to use?