Update patch-ac -- for location of html document. (Now only installs one.) Update patch-ab -- to add .gitrc.cons25 (distinfo was already committed.)