diff options
author | Tom Tromey <tromey@redhat.com> | 2010-07-30 20:46:34 +0000 |
---|---|---|
committer | Tom Tromey <tromey@redhat.com> | 2010-07-30 20:46:34 +0000 |
commit | c2bbed2a5ab3c5c5950ef192f9be610a11aaa367 (patch) | |
tree | dcca4676b08659c53366f8255dbbfdf858130b1f /gdb/Makefile.in | |
parent | c98ee71b7c85789e04d078b51582abb90bb20680 (diff) | |
download | gdb-c2bbed2a5ab3c5c5950ef192f9be610a11aaa367.zip gdb-c2bbed2a5ab3c5c5950ef192f9be610a11aaa367.tar.gz gdb-c2bbed2a5ab3c5c5950ef192f9be610a11aaa367.tar.bz2 |
gdb
* Makefile.in (install-only): Install gdb-add-index.
* gdb-add-index.sh: New file.
gdb/doc
* gdb.texinfo (Index Files): Mention gdb-add-index.
Diffstat (limited to 'gdb/Makefile.in')
-rw-r--r-- | gdb/Makefile.in | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index 65eb1fe..1d3e6a1 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -1018,7 +1018,16 @@ install-only: $(CONFIG_INSTALL) xml-syscall-install $(SHELL) $(srcdir)/../mkinstalldirs \ $(DESTDIR)$(man1dir) ; \ $(INSTALL_DATA) $(srcdir)/gdb.1 \ - $(DESTDIR)$(man1dir)/$$transformed_name.1 + $(DESTDIR)$(man1dir)/$$transformed_name.1; \ + transformed_name=`t='$(program_transform_name)'; \ + echo gdb-add-index | sed -e "$$t"` ; \ + if test "x$$transformed_name" = x; then \ + transformed_name=gdb-add-index ; \ + else \ + true ; \ + fi ; \ + $(INSTALL_PROGRAM) $(srcdir)/gdb-add-index.sh \ + $(DESTDIR)$(bindir)/$$transformed_name$(EXEEXT) @$(MAKE) DO=install "DODIRS=$(SUBDIRS)" $(FLAGS_TO_PASS) subdir_do .PHONY: install-tui install-tui: |