Changes applied to the detex-2.8 tree as obtained from:
	http://www.cs.purdue.edu/homes/trinkle/detex/

Renamed:
	detex.1l -> detex.man