diff options
| author | Jason Molenda <jmolenda@apple.com> | 1999-06-28 16:06:02 +0000 |
|---|---|---|
| committer | Jason Molenda <jmolenda@apple.com> | 1999-06-28 16:06:02 +0000 |
| commit | 085dd6e638eca9d348100c8f0e8cae04e20d58a1 (patch) | |
| tree | 1e740197cdfedb994222a003ea531ec2febaf173 /gdb/rdi-share | |
| parent | 303f629d619e7bf37b97c2af6f72aba488669044 (diff) | |
| download | gdb-085dd6e638eca9d348100c8f0e8cae04e20d58a1.zip gdb-085dd6e638eca9d348100c8f0e8cae04e20d58a1.tar.gz gdb-085dd6e638eca9d348100c8f0e8cae04e20d58a1.tar.bz2 | |
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 1141005..33274da 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: |