diff options
| author | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-06-28 16:00:01 +0000 |
|---|---|---|
| committer | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-06-28 16:00:01 +0000 |
| commit | e4ac0f1d9dea7845c0d0c5706071d4c56dbd42f2 (patch) | |
| tree | fcdd6689b72a05be54537f587fa5f27bf6a38150 /gdb/gdbserver/Makefile.in | |
| parent | 1300a17a73c6af5f031f35f7e95c734415a6302b (diff) | |
| download | gdb-e4ac0f1d9dea7845c0d0c5706071d4c56dbd42f2.tar.gz | |
import gdb-1999-06-28 snapshot
Diffstat (limited to 'gdb/gdbserver/Makefile.in')
| -rw-r--r-- | gdb/gdbserver/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gdb/gdbserver/Makefile.in b/gdb/gdbserver/Makefile.in index b016e134c5f..d55050ff2d4 100644 --- a/gdb/gdbserver/Makefile.in +++ b/gdb/gdbserver/Makefile.in @@ -37,6 +37,7 @@ man7dir = $(mandir)/man7 man8dir = $(mandir)/man8 man9dir = $(mandir)/man9 infodir = $(prefix)/info +htmldir = $(prefix)/html includedir = $(prefix)/include SHELL = /bin/sh @@ -159,6 +160,8 @@ installcheck: check: info dvi: install-info: +html: +install-html: clean-info: gdbserver: $(OBS) ${ADD_DEPS} ${CDEPS} |