fix a typo in the manpage builder
update of the manpage following #5efee67

Conflicts:
	man/devtools.man