diff options
Diffstat (limited to 'gcc/java/Make-lang.in')
| -rw-r--r-- | gcc/java/Make-lang.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/java/Make-lang.in b/gcc/java/Make-lang.in index 2944383..afc22d8 100644 --- a/gcc/java/Make-lang.in +++ b/gcc/java/Make-lang.in @@ -407,7 +407,13 @@ java.install-man: installdirs \ tool_transformed_name=`echo $$tool|sed '$(program_transform_name)'`; \ man_name=$(DESTDIR)$(man1dir)/$${tool_transformed_name}$(man1ext); \ rm -f $$man_name ; \ - $(INSTALL_DATA) doc/$${tool}.1 $$man_name; \ + for source_name in doc/$${tool}.1 $(srcdir)/doc/$${tool}.1 ; do \ + if test -f $$source_name; then \ + $(INSTALL_DATA) $$source_name $$man_name; \ + break; \ + else : ; \ + fi; \ + done ; \ chmod a-x $$man_name ; \ done |