diff options
| author | Chet Ramey <chet.ramey@case.edu> | 2011-11-23 18:48:31 -0500 |
|---|---|---|
| committer | Chet Ramey <chet.ramey@case.edu> | 2011-11-23 18:48:31 -0500 |
| commit | 7ea38d677dc0ce50dfcbfc43150919579627b274 (patch) | |
| tree | ceedaf5f6593963b78697f920020eb61a82e5f0b /doc | |
| parent | db4c00d880b67af735af9b18835ae900f5be9e53 (diff) | |
| download | readline-7ea38d677dc0ce50dfcbfc43150919579627b274.tar.gz | |
Readline-2.2.1 import
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 63da1be..2eabb41 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -113,8 +113,16 @@ installdirs: $(top_srcdir)/support/mkdirs -$(SHELL) $(top_srcdir)/support/mkdirs $(infodir) $(man3dir) install: installdirs info - ${INSTALL_DATA} readline.info $(infodir)/readline.info - ${INSTALL_DATA} history.info $(infodir)/history.info + if test -f readline.info; then \ + ${INSTALL_DATA} readline.info $(infodir)/readline.info; \ + else \ + ${INSTALL_DATA} $(srcdir)/readline.info $(infodir)/readline.info; \ + fi + if test -f history.info; then \ + ${INSTALL_DATA} history.info $(infodir)/history.info; \ + else \ + ${INSTALL_DATA} $(srcdir)/history.info $(infodir)/history.info; \ + fi if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ install-info --dir-file=$(infodir)/dir $(infodir)/readline.info ; \ install-info --dir-file=$(infodir)/dir $(infodir)/history.info ; \ |