Log message:
As pointed out on the website:
The detex-2.7 tarball was repackaged on 15 Oct 2002 to include a top level
detex-2.7 directory. The contents are otherwise identical to the old tarball.
Update Makefile and distinfo accordingly.