New commits: commit e6814f5c692e14e397e5ff879ee7e37d37917ffd Author: Andrew Cagney <cagney at gnu.org> Date: Tue Aug 8 11:44:53 2017 -0400 web: in doco, use results/ as the default html directory