changes to doc-... scripts to fix fatal git messages