diff options
author | Jim Blandy <jimb@redhat.com> | 1993-05-23 04:42:11 +0000 |
---|---|---|
committer | Jim Blandy <jimb@redhat.com> | 1993-05-23 04:42:11 +0000 |
commit | 8d467c70c0184c34868cf95ab260f5a5b524ecfa (patch) | |
tree | 77f9b38ef351914c140cba762eb2725236ebbd2b /Makefile.in | |
parent | 4970bc095b56196c3788db50bf9189e632b9b5dc (diff) | |
download | emacs-8d467c70c0184c34868cf95ab260f5a5b524ecfa.tar.gz |
* configure.in: Implement the --prefix option.
* Makefile.in (prefix): Add support for it here.
* Makefile.in (install): Don't assume that the files in the `info'
subdirectory match *.info. They don't have that prefix.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/Makefile.in b/Makefile.in index 3edbf80b764..ca87fb33f87 100644 --- a/Makefile.in +++ b/Makefile.in @@ -61,8 +61,8 @@ libsrc_libs=@libsrc_libs@ # The default location for installation. Everything is placed in # subdirectories of this directory. The default values for many of # the variables below are expressed in terms of this one, so you may -# not need to change them. -prefix=/usr/local +# not need to change them. This defaults to /usr/local. +prefix=@prefix@ # Like `prefix', but used for architecture-specific files. exec_prefix=${prefix} @@ -341,11 +341,9 @@ install: all mkdir if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \ ${INSTALL_DATA} dir ${infodir}/dir ; \ fi ; \ - if [ "`echo *.info*`" != "*.info*" ]; then \ - for f in *.info* ; do \ - ${INSTALL_DATA} $$f ${infodir}/$$f ; \ - done ; \ - fi) + for f in cl* emacs* forms* info* vip* ; do \ + ${INSTALL_DATA} $$f ${infodir}/$$f ; \ + done) cd ${srcdir}/etc; for page in emacs etags ctags ; do \ ${INSTALL_DATA} $${page}.1 ${mandir}/$${page}${manext} ; \ done |