Package-Name: time
Homepage: http://www.gnu.org/software/time/
Source: gnu:///time/time-(\d+.\d+(.\d+)?).tar.gz $1
Zap-Before-Install: 1
Repack:
	tar xzvfp "$(SOURCE)"
Compile:
	mv -f AUTHORS COPYING ChangeLog NEWS README "$(PREFIX)/"
	$(MAKE) -f ../Makefile configure
	$(MAKE)
	$(MAKE) install
Install:
	$(MAKE) instbin BIN=time
	$(MAKE) instinfo INFO=time
# FIXME: man page is in man-pages package

/pkg/time/
/usr/bin/time
/usr/info/time.info*
