TOP=/usr/local/gnu

all:
	@echo do nothing, just make install

install: texi2html invisible.xbm
	install -c -m 755 texi2html $(TOP)/bin
	install -c -m 644 texi2html $(TOP)/man/man1/texi2html.1
	install -c -m 644 invisible.xbm $(TOP)/lib
