see README in directory doc/ .