Install gcj.pdf in $(pdfdir)/gcc alongside other manuals.
authorRalf Wildenhues <Ralf.Wildenhues@gmx.de>
Mon, 17 Aug 2009 20:22:41 +0000 (20:22 +0000)
committerRalf Wildenhues <rwild@gcc.gnu.org>
Mon, 17 Aug 2009 20:22:41 +0000 (20:22 +0000)
gcc/java/
* Make-lang.in (java.install-pdf): Install gcj.pdf in
$(pdfdir)/gcc, alongside the other manuals.

From-SVN: r150859

gcc/java/ChangeLog
gcc/java/Make-lang.in

index d9fb9f5986647ce2a58f07795fe36e05da012925..7c1ac22f9e6faf8344be4b1ef0ec47db05e3937c 100644 (file)
@@ -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
index 094e5e1bcfbe2a966f38941758089cfd9de36fb4..ff330fda4e536da26727f2cf08bce4fa2335c8b8 100644 (file)
@@ -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
 
 #\f