Recent changes have made etc/doc always be regenerated, so it's no
longer interesting. And all "git pull"s will make
INFO Scraping files for cal-loaddefs.el...
INFO Scraping files for cal-loaddefs.el...done
etc be output, so filter them, too.
egrep --line-buffered -v "^make|\
^Loading|\
SCRAPE|\
-INFO.*Scraping.*[.]\$|\
+INFO.*Scraping.*[.] ?\$|\
+INFO.*Scraping.*done\$|\
+GEN.*etc/doc|\
^Waiting for git|\
^Finding pointers|\
^Using load-path|\