--- Makefile.in 2002-09-16 18:51:00.000000000 +0200 +++ Makefile.in.new 2003-05-02 14:38:57.000000000 +0200 @@ -83,23 +83,23 @@ # Common prefix for installation directories. # Used in definitions of exec_prefix, datasubdir, fontpath, manroot. # This must already exist when you do make install. -prefix=@prefix@ -exec_prefix=@exec_prefix@ +prefix=$(DESTDIR)@prefix@ +exec_prefix=$(DESTDIR)@exec_prefix@ # `bindir' says where to install executables. -bindir=@bindir@ +bindir=$(DESTDIR)@bindir@ # `libdir' says where to install platform-dependent data. -libdir=@libdir@ +libdir=$(DESTDIR)@libdir@ libprogramdir=$(libdir)/groff # `datasubdir' says where to install platform-independent data files. -datadir=@datadir@ +datadir=$(DESTDIR)@datadir@ dataprogramdir=$(datadir)/groff datasubdir=$(dataprogramdir)/$(version)$(revision) # `infodir' says where to install info files. -infodir=@infodir@ +infodir=$(DESTDIR)@infodir@ # `docdir' says where to install documentation files. docdir=$(datadir)/doc/groff/$(version)$(revision) @@ -180,7 +180,7 @@ common_words_file=$(datasubdir)/eign # `manroot' is the root of the man page directory tree. -mandir=@mandir@ +mandir=$(DESTDIR)@mandir@ manroot=$(mandir) # `man1ext' is the man section for user commands.