diff options
author | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2009-08-17 20:22:41 +0000 |
---|---|---|
committer | Ralf Wildenhues <rwild@gcc.gnu.org> | 2009-08-17 20:22:41 +0000 |
commit | df15255add5471998a5cd84063dc4db98a6b774b (patch) | |
tree | c674c22fb48bb3ba3a049e906b0d95b41158948a /gcc/java | |
parent | 1151ccc922e195087ce596ac58a09a113e58011b (diff) | |
download | gcc-df15255add5471998a5cd84063dc4db98a6b774b.zip gcc-df15255add5471998a5cd84063dc4db98a6b774b.tar.gz gcc-df15255add5471998a5cd84063dc4db98a6b774b.tar.bz2 |
Install gcj.pdf in $(pdfdir)/gcc alongside other manuals.
gcc/java/
* Make-lang.in (java.install-pdf): Install gcj.pdf in
$(pdfdir)/gcc, alongside the other manuals.
From-SVN: r150859
Diffstat (limited to 'gcc/java')
-rw-r--r-- | gcc/java/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/java/Make-lang.in | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog index d9fb9f5..7c1ac22 100644 --- a/gcc/java/ChangeLog +++ b/gcc/java/ChangeLog @@ -1,3 +1,8 @@ +2009-08-17 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> + + * Make-lang.in (java.install-pdf): Install gcj.pdf in + $(pdfdir)/gcc, alongside the other manuals. + 2009-08-12 Andrew Haley <aph@redhat.com> * builtins.c (compareAndSwapInt_builtin): Use diff --git a/gcc/java/Make-lang.in b/gcc/java/Make-lang.in index 094e5e1..ff330fd 100644 --- a/gcc/java/Make-lang.in +++ b/gcc/java/Make-lang.in @@ -197,12 +197,12 @@ java.install-info: $(DESTDIR)$(infodir)/gcj.info java.install-pdf: $(JAVA_PDFFILES) @$(NORMAL_INSTALL) - test -z "$(pdfdir)" || $(mkinstalldirs) "$(DESTDIR)$(pdfdir)" + test -z "$(pdfdir)" || $(mkinstalldirs) "$(DESTDIR)$(pdfdir)/gcc" @list='$(JAVA_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"; \ + echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(pdfdir)/gcc/$$f'"; \ + $(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(pdfdir)/gcc/$$f"; \ done # |