diff options
| author | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-06-28 16:06:02 +0000 |
|---|---|---|
| committer | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-06-28 16:06:02 +0000 |
| commit | 3aa48797ecc40f0b9fa07da4685595b9a5bcf07a (patch) | |
| tree | 6071aaa9824ade430d70cba71650efb16e77a591 /gdb/rdi-share | |
| parent | 4683ebe4e2ebe3d956e90b55271a01fc6ce735cf (diff) | |
| download | gdb-3aa48797ecc40f0b9fa07da4685595b9a5bcf07a.tar.gz | |
import gdb-1999-06-28 snapshot
Diffstat (limited to 'gdb/rdi-share')
| -rw-r--r-- | gdb/rdi-share/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gdb/rdi-share/Makefile.in b/gdb/rdi-share/Makefile.in index 11410058a67..33274dac7a7 100644 --- a/gdb/rdi-share/Makefile.in +++ b/gdb/rdi-share/Makefile.in @@ -28,6 +28,7 @@ sharedstatedir = @sharedstatedir@ localstatedir = @localstatedir@ libdir = @libdir@ infodir = @infodir@ +htmldir = $(prefix)/html mandir = @mandir@ includedir = @includedir@ oldincludedir = /usr/include @@ -234,6 +235,8 @@ distdir: $(DISTFILES) info: dvi: check: +html: +install-html: installcheck: install-info: install-exec: |