diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 9782c22acc2..eaf1c4a3784 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -392,7 +392,7 @@ install-arch-indep: mkdir | |||
| 392 | chmod a+r ${infodir}/dir); \ | 392 | chmod a+r ${infodir}/dir); \ |
| 393 | fi; \ | 393 | fi; \ |
| 394 | cd ${srcdir}/info ; \ | 394 | cd ${srcdir}/info ; \ |
| 395 | for f in ccmode* cl* dired-x* ediff* emacs* forms* gnus* info* message* mh-e* reftex* sc* vip* widget*; do \ | 395 | for f in ada-mode* ccmode* cl* dired-x* ediff* emacs* forms* gnus* info* message* mh-e* reftex* sc* vip* widget*; do \ |
| 396 | (cd $${thisdir}; \ | 396 | (cd $${thisdir}; \ |
| 397 | ${INSTALL_DATA} ${srcdir}/info/$$f ${infodir}/$$f; \ | 397 | ${INSTALL_DATA} ${srcdir}/info/$$f ${infodir}/$$f; \ |
| 398 | chmod a+r ${infodir}/$$f); \ | 398 | chmod a+r ${infodir}/$$f); \ |
| @@ -401,7 +401,7 @@ install-arch-indep: mkdir | |||
| 401 | -thisdir=`/bin/pwd`; \ | 401 | -thisdir=`/bin/pwd`; \ |
| 402 | if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \ | 402 | if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \ |
| 403 | then \ | 403 | then \ |
| 404 | for f in ccmode cl dired-x ediff emacs forms gnus info message mh-e reftex sc vip viper widget; do \ | 404 | for f in ada-mode ccmode cl dired-x ediff emacs forms gnus info message mh-e reftex sc vip viper widget; do \ |
| 405 | (cd $${thisdir}; \ | 405 | (cd $${thisdir}; \ |
| 406 | ${INSTALL_INFO} --dir-file=${infodir}/dir --info-file=${infodir}/$$f); \ | 406 | ${INSTALL_INFO} --dir-file=${infodir}/dir --info-file=${infodir}/$$f); \ |
| 407 | done; \ | 407 | done; \ |