Fix obsolete content from documentation

Remove mention to obsolete gen-list-without-flagging Ant target.