diff options
Diffstat (limited to 'gdb/rdi-share/Makefile.in')
| -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: |