renaming Logtalk file for generating docs