diff options
Diffstat (limited to 'gcc/java/Make-lang.in')
| -rw-r--r-- | gcc/java/Make-lang.in | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/gcc/java/Make-lang.in b/gcc/java/Make-lang.in index 8adcf44..a9c47cf 100644 --- a/gcc/java/Make-lang.in +++ b/gcc/java/Make-lang.in @@ -177,7 +177,8 @@ java.srcinfo: doc/gcj.info dvi:: doc/gcj.dvi html:: $(htmldir)/java/index.html JAVA_MANFILES = doc/gcj.1 doc/gcjh.1 doc/jv-scan.1 doc/jcf-dump.1 doc/gij.1 \ - doc/jv-convert.1 doc/grmic.1 doc/grmiregistry.1 + doc/jv-convert.1 doc/grmic.1 doc/grmiregistry.1 \ + doc/gcj-dbtool.1 java.man: $(JAVA_MANFILES) @@ -237,6 +238,7 @@ java.uninstall: -rm -rf $(DESTDIR)$(man1dir)/jcf-dump$(man1ext) -rm -rf $(DESTDIR)$(man1dir)/gij$(man1ext) -rm -rf $(DESTDIR)$(man1dir)/jv-convert$(man1ext) + -rm -rf $(DESTDIR)$(man1dir)/gcj-dbtool$(man1ext) install-info:: $(DESTDIR)$(infodir)/gcj.info @@ -261,6 +263,7 @@ java.maintainer-clean: -rm -f $(docobjdir)/jv-convert.1 -rm -f $(docobjdir)/grmic.1 -rm -f $(docobjdir)/grmiregistry.1 + -rm -f $(docobjdir)/gcj-dbtool.1 # # Stage hooks: # The main makefile has already created stage?/java. @@ -400,7 +403,7 @@ $(htmldir)/java/index.html: $(TEXI_JAVA_FILES) $(TEXI2HTML) -I $(docdir)/include -I $(srcdir)/java -o $(@D) $< .INTERMEDIATE: gcj.pod gcjh.pod jv-scan.pod jcf-dump.pod gij.pod \ - jv-convert.pod grmic.pod grmiregistry.pod + jv-convert.pod grmic.pod grmiregistry.pod gcj-dbtool.pod gcj.pod: java/gcj.texi -$(TEXI2POD) -D gcj < $< > $@ @@ -418,14 +421,17 @@ grmic.pod: java/gcj.texi -$(TEXI2POD) -D grmic < $< > $@ grmiregistry.pod: java/gcj.texi -$(TEXI2POD) -D grmiregistry < $< > $@ +gcj-dbtool.pod: java/gcj.texi + -$(TEXI2POD) -D gcj-dbtool < $< > $@ # Install the man pages. java.install-man: installdirs \ $(DESTDIR)$(man1dir)/$(JAVA_INSTALL_NAME)$(man1ext) \ $(JAVA_TARGET_INDEPENDENT_BIN_TOOLS:%=doc/%.1) \ - doc/gij.1 doc/jv-convert.1 doc/grmic.1 doc/grmiregistry.1 + doc/gij.1 doc/jv-convert.1 doc/grmic.1 doc/grmiregistry.1 \ + doc/gcj-dbtool.1 for tool in $(JAVA_TARGET_INDEPENDENT_BIN_TOOLS) \ - gij jv-convert grmic grmiregistry ; do \ + gij jv-convert grmic grmiregistry gcj-dbtool ; do \ tool_transformed_name=`echo $$tool|sed '$(program_transform_name)'`; \ man_name=$(DESTDIR)$(man1dir)/$${tool_transformed_name}$(man1ext); \ rm -f $$man_name ; \ |