Version 1.3.2 : automatic version number and date insertion

Conflicts:
	devtools.man