New commits: commit 73ce0fd5c87a79272398346eda86c56e797bb9f5 Author: Andrew Cagney <cagney at gnu.org> Date: Tue Apr 11 14:25:16 2017 -0400 web: add scripts to shadow (and install to) a local copy of the web pages