man8dir = $(mandir)/man8
man9dir = $(mandir)/man9
infodir = $(prefix)/info
+htmldir = $(prefix)/html
includedir = $(prefix)/include
SHELL = /bin/sh
check:
info dvi:
install-info:
+html:
+install-html:
clean-info:
gdbserver: $(OBS) ${ADD_DEPS} ${CDEPS}