diff options
| author | DJ Delorie <dj@redhat.com> | 2007-03-05 22:15:41 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@redhat.com> | 2007-03-05 22:15:41 +0000 |
| commit | d7831e7c477f3e5e0d969c09478c2c1b5c82b354 (patch) | |
| tree | 473614bb9d859a4cd9612dcff583b18875b9b7f2 /libiberty/Makefile.in | |
| parent | ad8bd7f8c1a22a1ad23b14db2dbdfdf5cd42f8a1 (diff) | |
| download | gdb-d7831e7c477f3e5e0d969c09478c2c1b5c82b354.zip gdb-d7831e7c477f3e5e0d969c09478c2c1b5c82b354.tar.gz gdb-d7831e7c477f3e5e0d969c09478c2c1b5c82b354.tar.bz2 | |
merge from gcc
Diffstat (limited to 'libiberty/Makefile.in')
| -rw-r--r-- | libiberty/Makefile.in | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/libiberty/Makefile.in b/libiberty/Makefile.in index 570d2e8..90686f0 100644 --- a/libiberty/Makefile.in +++ b/libiberty/Makefile.in @@ -245,7 +245,24 @@ info: libiberty.info info-subdir install-info: install-info-subdir clean-info: clean-info-subdir dvi: libiberty.dvi dvi-subdir -pdf: libiberty.pdf pdf-subdir + +LIBIBERTY_PDFFILES = libiberty.pdf + +pdf: $(LIBIBERTY_PDFFILES) pdf-subdir + +.PHONY: install-pdf + +pdf__strip_dir = `echo $$p | sed -e 's|^.*/||'`; + +install-pdf: $(LIBIBERTY_PDFFILES) + @$(NORMAL_INSTALL) + test -z "$(pdfdir)" || $(mkinstalldirs) "$(DESTDIR)$(pdfdir)" + @list='$(LIBIBERTY_PDFFILES)'; for p in $$list; do \ + if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \ + f=$(pdf__strip_dir) \ + echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(pdfdir)/$$f'"; \ + $(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(pdfdir)/$$f"; \ + done # html, install-html targets HTMLS = libiberty.html |